# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 953341468 0
# Node ID aa79cfcecd7396932ff0291640f0708f73ba68cb
# Parent  d7ec07dcbaa64981cade27c1ed456e442845db04
(read_integer): Unread the last char not consumed.

diff -r d7ec07dcbaa6 -r aa79cfcecd73 src/lread.c
--- a/src/lread.c	Fri Mar 17 22:46:46 2000 +0000
+++ b/src/lread.c	Sat Mar 18 01:04:28 2000 +0000
@@ -1637,7 +1637,10 @@
 	  else if (c >= 'A' && c <= 'Z')
 	    digit = c - 'A' + 10;
 	  else
-	    break;
+	    {
+	      UNREAD (c);
+	      break;
+	    }
 
 	  if (digit < 0 || digit >= radix)
 	    invalid_p = 1;