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

diff --git a/src/str.h b/src/str.h
index 719b503b8e..1951507cc9 100644
--- a/src/str.h
+++ b/src/str.h
@@ -180,6 +180,7 @@ 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 *, ...)
      PRINTF_FORMAT (2, 3);