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

diff --git a/src/output/driver.h b/src/output/driver.h
index dfefa3f69d..acf052aeb2 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -36,7 +36,7 @@ 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);
+char *output_get_command_name (void);
 
 size_t output_get_group_level (void);