X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flibpspp%2Fmessage.h;h=32342f40e993501c56ba7e3245f5e45866b3acad;hb=dc3765ea5122dfc403a39b08b8f61cc1a6c89d05;hp=3856ee5b812a895420886e87f7c41ce5a2f7af3e;hpb=27e94a1fb74828d4289110ad8b66e8b3eb8bc55e;p=pspp

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 3856ee5b81..32342f40e9 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -80,6 +80,7 @@ struct msg
     int first_column;           /* 1-based first column, or 0 if none. */
     int last_column;            /* 1-based exclusive last column (0=none). */
     char *text;                 /* Error text. */
+    bool shipped;               /* True if this message has been emitted */
   };
 
 /* Initialization. */
@@ -96,6 +97,9 @@ 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, ...);
+
+
 /* Enable and disable messages. */
 void msg_enable (void);
 void msg_disable (void);