Revert last change.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/xmenu.c b/src/xmenu.c
index 199b19baec9..17ea25c1fde 100644
--- 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.