X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.h;h=c16774dd99cdf3857926769bb012e1807a6d5090;hb=2bf186a3ffb77c2706223d24bad200cb3148cc8a;hp=3e5cf193a4bdb9fcddc80b17bbd478ef9c405185;hpb=320622191b3de640da6ba0e347a94d28493711ae;p=pspp

diff --git a/src/output/driver.h b/src/output/driver.h
index 3e5cf193a4..c16774dd99 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -35,6 +35,7 @@ void output_submit (struct output_item *);
 void output_flush (void);
 
 void output_log (const char *, ...) PRINTF_FORMAT (1, 2);
+void output_log_nocopy (char *);
 
 const char *output_get_title (void);
 void output_set_title (const char *);