* src/main.c (main): Don't call `done', exit does it.

[bison.git] / src / reduce.c

diff --git a/src/reduce.c b/src/reduce.c
index 3259a912df6677db41d4672da80ba00e39aa9247..8bdabecc19e059baacdf1aff3686945c5dacac45 100644 (file)
--- a/src/reduce.c
+++ b/src/reduce.c
@@ -142,12 +142,13 @@ reduce_grammar (void)
           tags[start_symbol]);
 
   reduce_grammar_tables();
-  /* if (verboseflag) {
-     fprintf(foutput, "REDUCED GRAMMAR\n\n");
-     dump_grammar();
-     }
-     */
-
+  /*
+  if (verboseflag)
+    {
+      fprintf(foutput, "REDUCED GRAMMAR\n\n");
+      dump_grammar();
+    }
+  */
   /**/ statisticsflag = FALSE; /* someday getopts should handle this */
   if (statisticsflag == TRUE)
     fprintf(stderr,