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

This commit is contained in:
Akim Demaille
2000-03-31 14:37:10 +00:00
parent 3628146521
commit cb7db13e45
3 changed files with 11 additions and 7 deletions

View File

@@ -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);
}

View File

@@ -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,