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

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 7bf84d47..f5e0f5b0 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;
+void execute_syntax (struct getl_interface *sss);
+
 
 #endif