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

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