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

diff --git a/src/str.h b/src/str.h
index dedcc10daa..1951507cc9 100644
--- a/src/str.h
+++ b/src/str.h
@@ -180,8 +180,9 @@ int ds_get_config_line (FILE *, struct string *, struct file_locator *);
 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_vprintf (struct string *st, const char *format, va_list args);
 void ds_printf (struct string *, const char *, ...)
-     __attribute__ ((format (printf, 2, 3)));
+     PRINTF_FORMAT (2, 3);
 
 #if __GNUC__ > 1
 extern inline void