From 8f5d475079477db6ec2b95019e3a1fc67bdbf634 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 27 Apr 2019 14:27:17 +0200
Subject: [PATCH] diagnostics: use flush, not fflush

* 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).  */