--- gno3dtet/cwmain.cc.orig	Wed Nov 17 18:07:46 1999
+++ gno3dtet/cwmain.cc	Sun Jan  2 08:57:42 2000
@@ -136,7 +136,7 @@
 	GNOMEUIINFO_END
 	};	
 	GnomeUIInfo help_menu[] = {
-	GNOMEUIINFO_HELP(GNO3DTET_EXENAME),
+	GNOMEUIINFO_HELP((gchar *)GNO3DTET_EXENAME),
 	GNOMEUIINFO_ITEM(N_("Show License"),N_("Show GNU Public License"),
 					 cb_menu_help_license_activate, NULL),
 	GNOMEUIINFO_MENU_ABOUT_ITEM(cb_menu_help_about_activate, this),
