(push_key_description): Call CHARACTERP correctly.

diff --git a/src/keymap.c b/src/keymap.c
index f760969b21f45dd9aaff4fee5f059380e65eaa9d..594fccff967de7c7c64e09fd202189a2900ee217 100644 (file)
--- a/src/keymap.c
+++ b/src/keymap.c
@@ -2024,7 +2024,7 @@ push_key_description (c, p, force_multibyte)
     {
       *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);