X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fstr.h;h=719b503b8e66d8fc69fc665a94aed4cdcf11ca6e;hb=77cbf2d7d1e5712d4ef952f265ed5c2917fc3f68;hp=dedcc10daacdf063499dea1389bb076ca4b9bdec;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/str.h b/src/str.h
index dedcc10daa..719b503b8e 100644
--- a/src/str.h
+++ b/src/str.h
@@ -181,7 +181,7 @@ void ds_putchar (struct string *, int ch);
 void ds_concat (struct string *, const char *);
 void ds_concat_buffer (struct string *, const char *buf, size_t len);
 void ds_printf (struct string *, const char *, ...)
-     __attribute__ ((format (printf, 2, 3)));
+     PRINTF_FORMAT (2, 3);
 
 #if __GNUC__ > 1
 extern inline void