Fix last change.

diff --git a/src/keyboard.h b/src/keyboard.h
index 970ff46b8250fa0ab164ccbe1612271e6d06adaf..165901bea5f0c61989ad2e07234d63483cdb2f4b 100644 (file)
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -365,9 +365,7 @@ typedef struct _widget_value
   /* next one in the list */
   struct _widget_value*        next;
 } widget_value;
-#endif
 
-#if defined (HAVE_NS) || defined (HAVE_NTGUI) || 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