[PATCH 1/4] diagnostics: use flush, not fflush

[Akim Demaille]

* src/complain.c: here.
---
 src/complain.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/complain.c b/src/complain.c
index 108a1fbd..99f400e6 100644
--- a/src/complain.c
+++ b/src/complain.c
@@ -424,12 +424,12 @@ error_message (const location *loc, warnings flags, 
severity sever,
     if (l < 2 || message[l - 2] != ':' || message[l - 1] != ' ')
       {
         putc ('\n', stderr);
-        fflush (stderr);
+        flush (stderr);
         if (loc && feature_flag & feature_caret && !(flags & no_caret))
           location_caret (*loc, style, stderr);
       }
   }
-  fflush (stderr);
+  flush (stderr);
 }
 
 /** Raise a complaint (fatal error, error or just warning).  */
-- 
2.21.0