X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=7ada5b5298fe5bdb660a52995f3a7e4830aa5a76;hb=0085c7edf6d3b9c9ee2ce880893023c567886101;hp=5a245361c3ba7500e9927e7fed322dc1b0be3b13;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 5a245361..7ada5b52 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -54,12 +54,19 @@ void connect_help (GladeXML *);
 void reference_manual (GtkMenuItem *, gpointer);
 
 struct getl_interface;
-gboolean execute_syntax (struct getl_interface *sss);
+void execute_syntax (struct getl_interface *sss);
 
 
 #define XML_NEW(FILE) \
    glade_xml_new (relocate(PKGDATADIR "/" FILE), NULL, NULL)
 
 
+void marshaller_VOID__INT_INT_INT (GClosure     *closure,
+				   GValue       *return_value,
+				   guint         n_param_values,
+				   const GValue *param_values,
+				   gpointer      invocation_hint,
+				   gpointer      marshal_data);
+
 
 #endif