X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire.h;h=0d990119469f8d89bb2f437ecb75196fb6cae5ff;hb=55077868a3eb1776432bcb46a3627cc8e0ee54db;hp=92cd13571ca15bebd63e50adc87eddc385145048;hpb=fe76b9c2c49a0dd33aad5dfe3f03a056e6f96c21;p=pspp

diff --git a/src/ui/gui/psppire.h b/src/ui/gui/psppire.h
index 92cd13571c..0d99011946 100644
--- a/src/ui/gui/psppire.h
+++ b/src/ui/gui/psppire.h
@@ -22,8 +22,11 @@
 struct command_line_processor ;
 extern const struct argp non_option_argp ;
 
+extern GtkRecentManager *the_recent_mgr;
 
 void initialize (struct command_line_processor *, int argc, char **argv);
 void de_initialize (void);
+void psppire_quit (void);
+
 
 #endif /* PSPPIRE_H */