X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.h;h=acf052aeb20b4781cfdac37c1813211860eb3151;hb=1c02620baa5dd413e3284071f6a5184c1e77bf40;hp=09281449df90cb26b530648ff48fcaaff9da56a5;hpb=a353919df75c25331144602421353a856f4236d6;p=pspp

diff --git a/src/output/driver.h b/src/output/driver.h
index 09281449df..acf052aeb2 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -34,7 +34,9 @@ void output_flush (void);
 
 void output_set_title (const char *);
 void output_set_subtitle (const char *);
-const char *output_get_command_name (void);
+void output_set_filename (const char *);
+
+char *output_get_command_name (void);
 
 size_t output_get_group_level (void);