Revert last change.

diff --git a/src/xmenu.c b/src/xmenu.c
index 199b19baec99518ae4dcc0a65cc9f2501c83673e..17ea25c1fde39d497f89ca221cc07d02c2968302 100644 (file)
--- a/src/xmenu.c
+++ b/src/xmenu.c
@@ -146,6 +146,12 @@ static int popup_activated_flag;
 
 static int next_menubar_widget_id;
 
+/* For NS and NTGUI, these prototypes are defined in keyboard.h.  */
+#if defined (USE_X_TOOLKIT) || defined (USE_GTK)
+extern widget_value *xmalloc_widget_value P_ ((void));
+extern widget_value *digest_single_submenu P_ ((int, int, int));
+#endif
+
 /* This is set nonzero after the user activates the menu bar, and set
    to zero again after the menu bars are redisplayed by prepare_menu_bar.
    While it is nonzero, all calls to set_frame_menubar go deep.