changeset 88932:5ee60ded9f0d

(push_key_description): Call CHARACTERP correctly.
author Dave Love <fx@gnu.org>
date Tue, 30 Jul 2002 11:35:28 +0000
parents 74d18470865c
children b47c197101cf
files src/keymap.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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);