X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;fp=src%2Fui%2Fgui%2Fhelper.h;h=a6287ddaf1db3260ae0baed48f2fc65bd9365d83;hb=0d01f7bd35591882cd13b6352409858ea33d39f7;hp=6bd610e7c541b2e5bd01f0a17694fa4bc8703bb4;hpb=ec98753885c4b9e38978d61262a9aa4ef4f8a69a;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 6bd610e7..a6287dda 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -50,10 +50,6 @@ void connect_help (GtkBuilder *);
 
 void reference_manual (GtkMenuItem *, gpointer);
 
-struct getl_interface;
-gboolean execute_syntax (struct getl_interface *sss);
-
-
 #define builder_new(NAME) builder_new_real (relocate (PKGDATADIR "/" NAME))
 
 GtkBuilder *builder_new_real (const gchar *name);