#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 */