X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/0e021770cc023c6a2e7ae132a3aab55bc7cbc058..c3d503425f8014b432601a33b3398446d63b5963:/src/parse-gram.y?ds=sidebyside diff --git a/src/parse-gram.y b/src/parse-gram.y index 7680f462..ba0ef6f9 100644 --- a/src/parse-gram.y +++ b/src/parse-gram.y @@ -257,7 +257,7 @@ prologue_declaration: | "%output" "=" STRING { spec_outfile = $3; } /* deprecated */ | "%parse-param" "{...}" { add_param ("parse_param", $2, @2); } | "%pure-parser" { pure_parser = true; } -| "%push-parser" { push_parser = true; pure_parser = true; } +| "%push-parser" { push_parser = true; } | "%require" STRING { version_check (&@2, $2); } | "%skeleton" STRING { skeleton_arg ($2, 1, &@1); } | "%token-table" { token_table_flag = true; }