# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 796677404 0
# Node ID e1ca77e22c12f7dc78f9f3050ac6ad911f1d4cc7
# Parent  89d742696b3d34cbbeceee112c24442f0db22bd2
(isfloat_string): Permit trailing space.

diff -r 89d742696b3d -r e1ca77e22c12 src/lread.c
--- a/src/lread.c	Fri Mar 31 19:13:22 1995 +0000
+++ b/src/lread.c	Fri Mar 31 19:16:44 1995 +0000
@@ -1453,7 +1453,7 @@
       while (*cp >= '0' && *cp <= '9')
 	cp++;
     }
-  return (*cp == 0
+  return (((*cp == 0) || (*cp == ' ') || (*cp == '\t') || (*cp == '\n') || (*cp == '\r') || (*cp == '\f'))
 	  && (state == (LEAD_INT|DOT_CHAR|TRAIL_INT)
 	      || state == (DOT_CHAR|TRAIL_INT)
 	      || state == (LEAD_INT|E_CHAR|EXP_INT)