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

[bison.git] / src / output.c

diff --git a/src/output.c b/src/output.c
index c9400e690da00cf917e937b6d6c35b63ad7953b1..1a1d7b3aac5ee88d1ead6e0448e82cfe36ef3750 100644 (file)
--- a/src/output.c
+++ b/src/output.c
@@ -571,7 +571,6 @@ prepare (void)
   MUSCLE_INSERT_BOOL ("glr_flag", glr_parser);
   MUSCLE_INSERT_BOOL ("locations_flag", locations_flag);
   MUSCLE_INSERT_BOOL ("nondeterministic_flag", nondeterministic_parser);
-  MUSCLE_INSERT_BOOL ("pure_flag", pure_parser);
   MUSCLE_INSERT_BOOL ("synclines_flag", !no_lines_flag);
   MUSCLE_INSERT_BOOL ("tag_seen_flag", tag_seen);
   MUSCLE_INSERT_BOOL ("use_push_for_pull_flag", use_push_for_pull_flag);