X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=3e1cb067bca692ed12b5e053efa91330526c6fd7;hb=c38762e6de6a20119033f6405f05472372ec7c5a;hp=aa52ded37466e3d87ca75059e2d6c00e855e4b1d;hpb=24a302ed4c0a7fbd52a4a549766c077f9e2bfe37;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index aa52ded3..3e1cb067 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -54,7 +54,7 @@ GtkWidget * get_widget_assert (gpointer x, const gchar *name);
 char * pspp_locale_to_utf8 (const gchar *text, gssize len, GError **err);
 
 
-void connect_help (GladeXML *);
+void connect_help (gpointer *);
 
 void reference_manual (GtkMenuItem *, gpointer);