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

diff --git a/src/reduce.c b/src/reduce.c
index 34ca8fd..94df548 100644 (file)
--- a/src/reduce.c
+++ b/src/reduce.c
@@ -407,7 +407,6 @@ reduce_print (void)
                               nuseless_productions),
             nuseless_productions);
   fprintf (stderr, "\n");
-  fflush (stderr);
 }
 \f
 void