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

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index cf297ae324..bdd27a5e72 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -108,12 +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;
 
-bool msg_ui_too_many_errors (void);
-void msg_ui_reset_counts (void);
-bool msg_ui_any_errors (void);
 
 #endif /* message.h */