X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmessage.h;fp=src%2Flibpspp%2Fmessage.h;h=e345ea655132858d34a4f708e5b9f737b00aee5d;hb=8e018d25310cb53e5339b46e95f0abe02db83782;hp=604f185d530b42d37b9f0f68440a375839918d86;hpb=b13f17becf74e4335c7e3206e4347cac07b38c56;p=pspp-builds.git

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 604f185d..e345ea65 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -99,6 +99,10 @@ void msg (enum msg_class, const char *format, ...)
      PRINTF_FORMAT (2, 3);
 void msg_emit (struct msg *);
 
+/* Enable and disable messages. */
+void msg_enable (void);
+void msg_disable (void);
+
 /* Error context. */
 void msg_set_command_name (const char *);
 const char *msg_get_command_name (void);