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

diff --git a/src/output/driver.h b/src/output/driver.h
index 5849a06ac1..09281449df 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -18,6 +18,7 @@
 #define OUTPUT_DRIVER_H 1
 
 #include <stdbool.h>
+#include <stddef.h>
 
 struct output_item;
 struct string_set;
@@ -33,6 +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);
+
+size_t output_get_group_level (void);
 
 void output_driver_parse_option (const char *option,
                                  struct string_map *options);