* data/Makefile.am (dist_pkgdata_DATA): Add push.c.

[bison.git] / src / parse-gram.y

diff --git a/src/parse-gram.y b/src/parse-gram.y
index 3c1ea76d722dcf1679666b0eb6af46cac53522e8..956ddd36f9de98b0a928b36d3c02dca37859c5d6 100644 (file)
--- a/src/parse-gram.y
+++ b/src/parse-gram.y
@@ -156,6 +156,7 @@ static int current_prec = 0;
   PERCENT_OUTPUT          "%output"
   PERCENT_PARSE_PARAM     "%parse-param"
   PERCENT_PURE_PARSER     "%pure-parser"
+  PERCENT_PUSH_PARSER     "%push-parser"
   PERCENT_REQUIRE        "%require"
   PERCENT_SKELETON        "%skeleton"
   PERCENT_START           "%start"
@@ -248,6 +249,7 @@ prologue_declaration:
 | "%output" "=" STRING          { spec_outfile = $3; }
 | "%parse-param" "{...}"       { add_param ("parse_param", $2, @2); }
 | "%pure-parser"                { pure_parser = true; }
+| "%push-parser"                { push_parser = true; }
 | "%require" STRING             { version_check (&@2, $2); }
 | "%skeleton" STRING            { skeleton = $2; }
 | "%start-header" braceless     { muscle_code_grow ("start_header", $2, @2); }