# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 824082294 0
# Node ID b94ba0bf8b7c80147ceae7b2b2b9a059cb672af7
# Parent  eac92e94d52f4cfc02ca4b197bc71d67f1283f69
(xmalloc_widget_value): Fix previous change.

diff -r eac92e94d52f -r b94ba0bf8b7c src/xmenu.c
--- a/src/xmenu.c	Sun Feb 11 23:40:37 1996 +0000
+++ b/src/xmenu.c	Sun Feb 11 23:44:54 1996 +0000
@@ -118,10 +118,10 @@
 
 /* Allocate a widget_value, blocking input.  */
 
-widget_value
+widget_value *
 xmalloc_widget_value ()
 {
-  widget_value value;
+  widget_value *value;
 
   BLOCK_INPUT;
   value = malloc_widget_value ();