X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmsg-ui.h;h=197d7c0273597d2e48045487c684c82841cb6132;hb=3f31e9c3fe628db6fe7bb7fdf2a80634cecc8181;hp=2c08a8822aa4f9948da02f8b13f466882dca76d1;hpb=6d37069af4d7d7963b9d599e0076384dd554041a;p=pspp

diff --git a/src/ui/terminal/msg-ui.h b/src/ui/terminal/msg-ui.h
index 2c08a8822a..197d7c0273 100644
--- a/src/ui/terminal/msg-ui.h
+++ b/src/ui/terminal/msg-ui.h
@@ -25,8 +25,5 @@ struct source_stream;
 void msg_ui_set_error_file (FILE *);
 void msg_ui_init (struct source_stream *);
 void msg_ui_done (void);
-bool msg_ui_too_many_errors (void);
-void msg_ui_reset_counts (void);
-bool msg_ui_any_errors (void);
 
 #endif /* msg-ui.h */