From fb8ccdcd35fe53e47c6e02cc6ca84c32a9edfdb5 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sun, 29 Dec 2002 01:23:02 +0000
Subject: [PATCH] (reduce_print): Don't invoke fflush; it's not needed.

---
 src/reduce.c | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.45.2