X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmessage.h;h=bdd27a5e72faac5cc52ee2e85bbd8a992a7c6912;hb=547d9160972dc6e986e1b4b1f29517f9c072410a;hp=e1fc4f5aab1235459b075ddf92e2c704c4561d62;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index e1fc4f5aab..bdd27a5e72 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -108,8 +108,14 @@ void msg_disable (void);
 void msg_push_msg_locator (const struct msg_locator *);
 void msg_pop_msg_locator (const struct msg_locator *);
 
+bool msg_ui_too_many_errors (void);
+void msg_ui_reset_counts (void);
+bool msg_ui_any_errors (void);
+void msg_ui_disable_warnings (bool);
+
 
 /* Used in panic situations only. */
 void request_bug_report_and_abort (const char *msg) NO_RETURN;
 
+
 #endif /* message.h */