# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1217605254 0
# Node ID 01995cee1e95ce2bbdc1632b910fef01a9969d80
# Parent  2ef456c39196bf7eb9154b300712885d4b4f4398
Fix last change.

diff -r 2ef456c39196 -r 01995cee1e95 src/keyboard.h
--- a/src/keyboard.h	Fri Aug 01 15:40:46 2008 +0000
+++ b/src/keyboard.h	Fri Aug 01 15:40:54 2008 +0000
@@ -365,9 +365,7 @@
   /* 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