X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.h;h=c16774dd99cdf3857926769bb012e1807a6d5090;hb=bb4f63c29bd0682115e5708332289423685b30a8;hp=3e5cf193a4bdb9fcddc80b17bbd478ef9c405185;hpb=eabbb256e4a0fb5e434b42624afb61a69b8df165;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 *);