output: New function output_log().

[pspp] / src / output / driver.h

diff --git a/src/output/driver.h b/src/output/driver.h
index 32c0f87c44619301d9c2da87b954e15b8b5e2da0..8c386cb0650614d596b49ed3344322f38cae2d5e 100644 (file)
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -19,6 +19,7 @@
 
 #include <stdbool.h>
 #include <stddef.h>
+#include "libpspp/compiler.h"
 
 struct output_item;
 struct string_set;
@@ -32,6 +33,8 @@ void output_engine_pop (void);
 void output_submit (struct output_item *);
 void output_flush (void);
 
+void output_log (const char *, ...) PRINTF_FORMAT (1, 2);
+
 void output_set_title (const char *);
 void output_set_subtitle (const char *);
 void output_set_filename (const char *);