# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 771365496 0
# Node ID 280cc1ac9f4a48cca555009efc6a6afb3247dea8
# Parent  77fc514da1b75fad15d5f0a5414a054aff036a4a
(xmenu_show): Don't call XMenuDestroy twice in XM_FAILURE case.

diff -r 77fc514da1b7 -r 280cc1ac9f4a src/xmenu.c
--- a/src/xmenu.c	Sat Jun 11 20:09:33 1994 +0000
+++ b/src/xmenu.c	Sat Jun 11 20:11:36 1994 +0000
@@ -2251,7 +2251,6 @@
       break;
 
     case XM_FAILURE:
-      XMenuDestroy (XDISPLAY menu);
       *error = "Can't activate menu";
     case XM_IA_SELECT:
     case XM_NO_SELECT: