X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=a0c36bd68bb6f84518e2bb0363c430dfefdbf37a;hb=a7fb79e81f6e2a0dfddc61e91f207609e31a4632;hp=7bf84d472ff5726596d5a2318ab82d79c16ac5cd;hpb=b4dd1916b76c26b631330a6da615af4433360da4;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 7bf84d47..a0c36bd6 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -45,5 +45,8 @@ void connect_help (GladeXML *);
 
 void reference_manual (GtkMenuItem *, gpointer);
 
+struct getl_interface;
+gboolean execute_syntax (struct getl_interface *sss);
+
 
 #endif