# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 744276593 0
# Node ID 02b7d9476fae4ed970f4694e0607f62d7a07e09b
# Parent  9657ef911049ea8bd40e9685a93e0e025f2e17d8
(read_key_sequence): Use XFASTINT to convert value
of Flength to an int.

diff -r 9657ef911049 -r 02b7d9476fae src/keyboard.c
--- a/src/keyboard.c	Mon Aug 02 07:28:31 1993 +0000
+++ b/src/keyboard.c	Mon Aug 02 07:29:53 1993 +0000
@@ -4212,7 +4212,7 @@
 	      if ((VECTORP (fkey_next) || STRINGP (fkey_next))
 		  && fkey_end == t)
 		{
-		  int len = Flength (fkey_next);
+		  int len = XFASTINT (Flength (fkey_next));
 
 		  t = fkey_start + len;
 		  if (t >= bufsize)
@@ -4284,7 +4284,7 @@
 	    if ((VECTORP (keytran_next) || STRINGP (keytran_next))
 		&& keytran_end == t)
 	      {
-		int len = Flength (keytran_next);
+		int len = XFASTINT (Flength (keytran_next));
 
 		t = keytran_start + len;
 		if (t >= bufsize)