src/Pure/Syntax/lexicon.ML

--- a/src/Pure/Syntax/lexicon.ML	Tue Apr 03 19:24:19 2007 +0200
+++ b/src/Pure/Syntax/lexicon.ML	Tue Apr 03 19:24:21 2007 +0200
@@ -411,7 +411,7 @@
       | "0" :: "b" :: cs => (1, 2, cs)
       | "-" :: cs => (~1, 10, cs)
       | cs => (1, 10, cs));
-    val value = sign * #1 (Library.read_intinf radix digs);
+    val value = IntInf.fromInt sign * #1 (Library.read_intinf radix digs);
   in {radix = radix, leading_zeros = leading_zeros digs, value = value} end;
 
 end;