X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmsg-ui.h;h=2c08a8822aa4f9948da02f8b13f466882dca76d1;hb=fddfbb3c47fe4234453350df5b4559d75c3bedc9;hp=aa49e730e012d681db53f25dfdf35e2deeb39795;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp-builds.git

diff --git a/src/ui/terminal/msg-ui.h b/src/ui/terminal/msg-ui.h
index aa49e730..2c08a882 100644
--- a/src/ui/terminal/msg-ui.h
+++ b/src/ui/terminal/msg-ui.h
@@ -18,14 +18,15 @@
 #define MSG_UI_H 1
 
 #include <stdbool.h>
+#include <stdio.h>
 
-struct source_stream ;
+struct source_stream;
 
-void msg_ui_set_error_file (const char *filename);
+void msg_ui_set_error_file (FILE *);
 void msg_ui_init (struct source_stream *);
 void msg_ui_done (void);
-void check_msg_count (struct source_stream *);
-void reset_msg_count (void);
-bool any_errors (void);
+bool msg_ui_too_many_errors (void);
+void msg_ui_reset_counts (void);
+bool msg_ui_any_errors (void);
 
 #endif /* msg-ui.h */