* src/bison.simple: Fix debug.

[bison.git] / src / output.c

diff --git a/src/output.c b/src/output.c
index 9f2b9b5e283c9d5e5d32d3f620658784d88305ad..dde3eba71e4227d4a47510814334b21256b038f1 100644 (file)
--- a/src/output.c
+++ b/src/output.c
@@ -1052,7 +1052,6 @@ prepare (void)
   MUSCLE_INSERT_INT ("final", final_state);
   MUSCLE_INSERT_INT ("maxtok", max_user_token_number);
   MUSCLE_INSERT_INT ("ntbase", ntokens);
-  MUSCLE_INSERT_INT ("verbose", 0);
   MUSCLE_INSERT_INT ("error_verbose", error_verbose_flag);
 
   MUSCLE_INSERT_INT ("nnts", nvars);