(reduce_print): Don't invoke fflush; it's not needed.

This commit is contained in:
Paul Eggert committed 2002-12-29 01:23:02 +00:00
1 parent 8ca1967ea2
commit fb8ccdcd35
1 file changed
-1
-1
View File
@@ -407,7 +407,6 @@ reduce_print (void)
nuseless_productions),
nuseless_productions);
fprintf (stderr, "\n");
fflush (stderr);
}
void