# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 1025734472 0
# Node ID 15f975409edc7ac914fdc7ae7fb10daba6965482
# Parent  721d24ebba91c5ec4358aec86c0b9c78d3573ee7
(decode_mode_spec_coding): Use CHARACTERP.

diff -r 721d24ebba91 -r 15f975409edc src/xdisp.c
--- a/src/xdisp.c	Wed Jul 03 22:09:46 2002 +0000
+++ b/src/xdisp.c	Wed Jul 03 22:14:32 2002 +0000
@@ -13988,8 +13988,7 @@
 	  eol_str = XSTRING (eoltype)->data;
 	  eol_str_len = XSTRING (eoltype)->size;
 	}
-      else if (INTEGERP (eoltype)
-	       && CHAR_VALID_P (XINT (eoltype), 0))
+      else if (CHARACTERP (eoltype))
 	{
 	  eol_str = (unsigned char *) alloca (MAX_MULTIBYTE_LENGTH);
 	  eol_str_len = CHAR_STRING (XINT (eoltype), eol_str);