src/Pure/library.ML

--- a/src/Pure/library.ML	Sun Dec 30 16:23:30 2012 +0100
+++ b/src/Pure/library.ML	Sun Dec 30 16:33:05 2012 +0100
@@ -668,9 +668,9 @@
     val limit = zero + radix;
     fun scan (num, []) = (num, [])
       | scan (num, c :: cs) =
-        if zero <= ord c andalso ord c < limit then
-          scan (radix * num + (ord c - zero), cs)
-        else (num, c :: cs);
+          if zero <= ord c andalso ord c < limit then
+            scan (radix * num + (ord c - zero), cs)
+          else (num, c :: cs);
   in scan (0, cs) end;
 
 val read_int = read_radix_int 10;