X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.h;h=32c0f87c44619301d9c2da87b954e15b8b5e2da0;hb=16420b87c39a3a27071fde7727db49bd577ea58e;hp=acf052aeb20b4781cfdac37c1813211860eb3151;hpb=cb08510bbbab7646bc1031427243489024d22a3b;p=pspp

diff --git a/src/output/driver.h b/src/output/driver.h
index acf052aeb2..32c0f87c44 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -36,7 +36,8 @@ void output_set_title (const char *);
 void output_set_subtitle (const char *);
 void output_set_filename (const char *);
 
-char *output_get_command_name (void);
+const char *output_get_command_name (void);
+char *output_get_uppercase_command_name (void);
 
 size_t output_get_group_level (void);