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

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