# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 784414318 0
# Node ID e91d69642eab91917ca15ede138b5dce0983a843
# Parent  5b91dec229a3cda63cdf89f71548ec8254c7abbe
Don't include ctype.h.
(isfloat_string, read1): Don't use isdigit.

diff -r 5b91dec229a3 -r e91d69642eab src/lread.c
--- a/src/lread.c	Wed Nov 09 20:18:34 1994 +0000
+++ b/src/lread.c	Wed Nov 09 20:51:58 1994 +0000
@@ -24,7 +24,6 @@
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <sys/file.h>
-#include <ctype.h>
 #include <errno.h>
 #include "lisp.h"
 
@@ -1266,7 +1265,7 @@
 	int next_char = READCHAR;
 	UNREAD (next_char);
 
-	if (! isdigit (next_char))
+	if (! (next_char >= '0' && next_char <= '9'))
 #endif
 	  {
 	    *pch = c;
@@ -1379,21 +1378,21 @@
   if (*cp == '+' || *cp == '-')
     cp++;
 
-  if (isdigit(*cp))
+  if (*cp >= '0' && *cp <= '9')
     {
       state |= LEAD_INT;
-      while (isdigit (*cp))
-	cp ++;
+      while (*cp >= '0' && *cp <= '9')
+	cp++;
     }
   if (*cp == '.')
     {
       state |= DOT_CHAR;
       cp++;
     }
-  if (isdigit(*cp))
+  if (*cp >= '0' && *cp <= '9')
     {
       state |= TRAIL_INT;
-      while (isdigit (*cp))
+      while (*cp >= '0' && *cp <= '9')
 	cp++;
     }
   if (*cp == 'e')
@@ -1404,10 +1403,10 @@
   if ((*cp == '+') || (*cp == '-'))
     cp++;
 
-  if (isdigit (*cp))
+  if (*cp >= '0' && *cp <= '9')
     {
       state |= EXP_INT;
-      while (isdigit (*cp))
+      while (*cp >= '0' && *cp <= '9')
 	cp++;
     }
   return (*cp == 0