X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmsg-ui.h;h=197d7c0273597d2e48045487c684c82841cb6132;hb=afdf3096926b561f4e6511c10fcf73fc6796b9d2;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..197d7c02 100644
--- a/src/ui/terminal/msg-ui.h
+++ b/src/ui/terminal/msg-ui.h
@@ -18,14 +18,12 @@
 #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);
 
 #endif /* msg-ui.h */