# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 1028028928 0
# Node ID 5ee60ded9f0dc7a6437c1e6d68331219383ce077
# Parent  74d18470865cd4db2a6a1905b1a64d113ec56ba8
(push_key_description): Call CHARACTERP correctly.

diff -r 74d18470865c -r 5ee60ded9f0d src/keymap.c
--- a/src/keymap.c	Tue Jul 30 11:35:17 2002 +0000
+++ b/src/keymap.c	Tue Jul 30 11:35:28 2002 +0000
@@ -2024,7 +2024,7 @@
     {
       *p++ = c;
     }
-  else if (CHARACTERP (c))
+  else if (CHARACTERP (make_number (c)))
     {
       if (NILP (current_buffer->enable_multibyte_characters))
 	*p++ = multibyte_char_to_unibyte (c, Qnil);