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

diff --git a/src/ui/gui/psppire.h b/src/ui/gui/psppire.h
index a2cba9bb..0d990119 100644
--- a/src/ui/gui/psppire.h
+++ b/src/ui/gui/psppire.h
@@ -22,6 +22,7 @@
 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);