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

[bison.git] / src / output.c

diff --git a/src/output.c b/src/output.c
index 1a7769df6b084ea9cd1d9a7b10f2c7527cf1cf9c..c6eb02f7cc83b73dac82f6d31d44cecc2e33ccd0 100644 (file)
--- a/src/output.c
+++ b/src/output.c
@@ -585,6 +585,7 @@ prepare (void)
   MUSCLE_INSERT_BOOL ("error_verbose_flag", error_verbose);
   MUSCLE_INSERT_BOOL ("locations_flag", locations_flag);
   MUSCLE_INSERT_BOOL ("pure_flag", pure_parser);
+  MUSCLE_INSERT_BOOL ("push_flag", push_parser);
   MUSCLE_INSERT_BOOL ("synclines_flag", !no_lines_flag);
   MUSCLE_INSERT_BOOL ("tag_seen_flag", tag_seen);
   MUSCLE_INSERT_BOOL ("yacc_flag", yacc_flag);