# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 739431100 0
# Node ID f53bcee8d914f46627d0161030e288662b20ed2a
# Parent  22055fd47b7859744d5f54880393a97086e360e0
(read_key_sequence): Reset fkey_map when we find
something at the end of Vfunction_key_map.

diff -r 22055fd47b78 -r f53bcee8d914 src/keyboard.c
--- a/src/keyboard.c	Mon Jun 07 05:30:29 1993 +0000
+++ b/src/keyboard.c	Mon Jun 07 05:31:40 1993 +0000
@@ -4023,6 +4023,7 @@
 		  
 		  mock_input = t;
 		  fkey_start = fkey_end = t;
+		  fkey_map = Vfunction_key_map;
 
 		  goto replay_sequence;
 		}