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