From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 14 Jun 2020 15:07:27 +0000 (+0200)
Subject: src/libpspp/message.h (msg_error): Add printf_format attribute
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3b4f3891192f5db5afca5b62ae6e84d982aa03f;p=pspp

src/libpspp/message.h (msg_error): Add printf_format attribute
---

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 720b9f23d7..64a5b29733 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. */