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

diff --git a/ChangeLog b/ChangeLog
index f42aff00683c7b7aa8c9b47e6af2aaadd2a2492a..78a94bfd64ce518232fb33141e78ab05ebe28f0d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+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/.
 2000-03-31  Akim Demaille  <akim@epita.fr>
 
        * allocate.c: s/return (foo)/return foo/.

diff --git a/src/main.c b/src/main.c
index 850076b82e093bafad63ef527d6b9c91e8a346c6..2cf2a9363d4c1067f9008c10ac6f19f953310b4f 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();
 
   /* output the tables and the parser to ftable.  In file output. */
   output();

-  done ();

 
   exit (complain_message_count ? 1 : 0);
 }
 
   exit (complain_message_count ? 1 : 0);
 }

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();
           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,
   /**/ statisticsflag = FALSE; /* someday getopts should handle this */
   if (statisticsflag == TRUE)
     fprintf(stderr,