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=3a64413b5649bbf1aaea283cbcb369bebece87d4;hb=c024275ff35e579eddef18b23b1d9c7dc81c4ca8;hp=946a2cfad8348acbcc2e71ca8938e700cfc66f28;hpb=e7c52ab165b8121d910a53d13d0217fc1b8e3fc3;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 946a2cfa..3a64413b 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 (gpointer);
+void connect_help (GtkBuilder *);
 
 void reference_manual (GtkMenuItem *, gpointer);