Applied patch #5611

[pspp-builds.git] / src / ui / terminal / msg-ui.h

diff --git a/src/ui/terminal/msg-ui.h b/src/ui/terminal/msg-ui.h
index 4eeec2789ecaff638e8891a4a8971f12c2b1711c..165bffeda10154ec7ec019806d071cdae0d97bc4 100644 (file)
--- a/src/ui/terminal/msg-ui.h
+++ b/src/ui/terminal/msg-ui.h
@@ -22,10 +22,12 @@
 
 #include <stdbool.h>
 
+struct source_stream ;
+
 void msg_ui_set_error_file (const char *filename);
-void msg_ui_init (void);
+void msg_ui_init (struct source_stream *);
 void msg_ui_done (void);
-void check_msg_count (void);
+void check_msg_count (struct source_stream *);
 void reset_msg_count (void);
 bool any_errors (void);