X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.h;h=55dc4a27439ab7f3f3442fd670d2f594f363dc3e;hb=6ee48467ac46bb8553f6fb3782623559affb1b9c;hp=730c3be481bd30fef6c2aaae8da0b2fa6e687562;hpb=531de52e961c7feaa6f5e86f1de36afa69ab1fab;p=pspp

diff --git a/src/ui/gui/help-menu.h b/src/ui/gui/help-menu.h
index 730c3be481..55dc4a2743 100644
--- a/src/ui/gui/help-menu.h
+++ b/src/ui/gui/help-menu.h
@@ -20,7 +20,7 @@
 #include <gtk/gtk.h>
 
 
-void merge_help_menu (GtkUIManager *uim);
+GtkWidget * create_help_menu (GtkWindow *toplevel);
 
 void online_help (const char *page);