X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmessage.h;h=ebd788aecd2ec725fa5096e54c2e6d8ee5011109;hb=320622191b3de640da6ba0e347a94d28493711ae;hp=720b9f23d78b8c4903e01aafccd50cbcb3d5e8d4;hpb=a353919df75c25331144602421353a856f4236d6;p=pspp

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 720b9f23d7..ebd788aecd 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -100,7 +100,8 @@ void msg (enum msg_class, const char *format, ...)
      PRINTF_FORMAT (2, 3);
 void msg_emit (struct msg *);
 
-void msg_error (int errnum, const char *format, ...);
+void msg_error (int errnum, const char *format, ...)
+  PRINTF_FORMAT (2, 3);
 
 
 /* Enable and disable messages. */
@@ -115,6 +116,8 @@ void msg_ui_disable_warnings (bool);
 
 
 /* Used in panic situations only. */
+const char * prepare_diagnostic_information (void);
+const char * prepare_fatal_error_message (void);
 void request_bug_report (const char *msg);