(read_integer): Unread the last char not consumed.

diff --git a/src/lread.c b/src/lread.c
index 14c6f608b869cc93c75054afb10fdb18c9edfc37..7e4f3d2f109b250b7394c52c33ebba9dcc99aa3b 100644 (file)
--- a/src/lread.c
+++ b/src/lread.c
@@ -1637,7 +1637,10 @@ read_integer (readcharfun, radix)
          else if (c >= 'A' && c <= 'Z')
            digit = c - 'A' + 10;
          else
-           break;
+           {
+             UNREAD (c);
+             break;
+           }
 
          if (digit < 0 || digit >= radix)
            invalid_p = 1;