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

diff --git a/src/str.h b/src/str.h
index dedcc10daa..3520e28027 100644
--- a/src/str.h
+++ b/src/str.h
@@ -121,7 +121,7 @@ long getdelim (char **lineptr, size_t * n, int delimiter, FILE * stream);
 void mm_reverse (void *, size_t);
 char *mm_find_reverse (const char *, size_t, const char *, size_t);
 
-int st_compare_pad (const char *, int, const char *, int);
+int st_compare_pad (const char *, size_t, const char *, size_t);
 char *st_spaces (int);
 void st_bare_pad_copy (char *dest, const char *src, size_t n);
 void st_bare_pad_len_copy (char *dest, const char *src, size_t n, size_t len);
@@ -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