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

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