# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 1025733912 0
# Node ID 61df12ee934b29f192411a6e0cd2158cf83227a1
# Parent  9c92853c0d1027f170f076d6ac11fa16f63762db
(Fself_insert_command): Use CHARACTERP.

diff -r 9c92853c0d10 -r 61df12ee934b src/cmds.c
--- a/src/cmds.c	Wed Jul 03 22:03:46 2002 +0000
+++ b/src/cmds.c	Wed Jul 03 22:05:12 2002 +0000
@@ -297,7 +297,7 @@
   CHECK_NUMBER (n);
 
   /* Barf if the key that invoked this was not a character.  */
-  if (!INTEGERP (last_command_char))
+  if (!CHARACTERP (last_command_char))
     bitch_at_user ();
   else if (XINT (n) >= 2 && NILP (current_buffer->overwrite_mode))
     {