[project @ 1997-03-14 03:14:25 by sof]

Flush output stream

ghc/runtime/hooks/ErrorHdr.lc

@@ -4,6 +4,8 @@
 void
 ErrorHdrHook (FILE *where)
 {
+    fflush( stdout );			/* Flush out any pending output */
+
     fprintf(where, "\nFail: ");
 }
 \end{code}

ghc/runtime/hooks/PatErrorHdr.lc

@@ -4,6 +4,8 @@
 void
 PatErrorHdrHook (FILE *where)
 {
+    fflush( stdout );			/* Flush out any pending output */
+
     fprintf(where, "\nFail: ");
 }
 \end{code}