--- a/src/HOL/Library/Efficient_Nat.thy Tue Jul 08 17:52:28 2008 +0200
+++ b/src/HOL/Library/Efficient_Nat.thy Tue Jul 08 18:13:09 2008 +0200
@@ -241,7 +241,7 @@
*}
code_type nat
- (SML "int")
+ (SML "IntInf.int")
(OCaml "Big'_int.big'_int")
types_code