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

diff --git a/src/output/driver.h b/src/output/driver.h
index ab162a6268..3e5cf193a4 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -36,7 +36,9 @@ void output_flush (void);
 
 void output_log (const char *, ...) PRINTF_FORMAT (1, 2);
 
+const char *output_get_title (void);
 void output_set_title (const char *);
+const char *output_get_subtitle (void);
 void output_set_subtitle (const char *);
 void output_set_filename (const char *);