# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 777630263 0
# Node ID 25c8d963041068439a35eba0aa4c75d2a8d56b13
# Parent  518c4b07b0ea78a79f837c692e9376e17093f8be
(read_char): After read_char_minibuf_menu_prompt,
don't just return; jump to non_reread.

diff -r 518c4b07b0ea -r 25c8d9630410 src/keyboard.c
--- a/src/keyboard.c	Tue Aug 23 07:09:07 1994 +0000
+++ b/src/keyboard.c	Tue Aug 23 08:24:23 1994 +0000
@@ -1582,7 +1582,7 @@
     {
       c = read_char_minibuf_menu_prompt (commandflag, nmaps, maps);
       if (! NILP (c))
-	return c;
+	goto non_reread;
     }
 
   /* If in middle of key sequence and minibuffer not active,