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

diff --git a/ChangeLog b/ChangeLog
index f42aff0..78a94bf 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2000-03-31  Akim Demaille  <akim@epita.fr>
 
+       * src/main.c (main): Don't call `done', exit does it.
+
+2000-03-31  Akim Demaille  <akim@epita.fr>
+
        * allocate.c: s/return (foo)/return foo/.
        * lalr.c: Likewise.
        * LR0.c: Likewise.

diff --git a/src/main.c b/src/main.c
index 850076b..2cf2a93 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -104,7 +104,6 @@ main (int argc, char *argv[])
 
   /* output the tables and the parser to ftable.  In file output. */
   output();
-  done ();
 
   exit (complain_message_count ? 1 : 0);
 }

diff --git a/src/reduce.c b/src/reduce.c
index 3259a91..8bdabec 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,