
diff -r 6cbfe187a0f9 -r 6efff142bb54 src/HOL/Library/Code_Integer.thy
--- a/src/HOL/Library/Code_Integer.thy	Mon Jul 23 09:26:55 2012 +0200
+++ b/src/HOL/Library/Code_Integer.thy	Mon Jul 23 09:28:03 2012 +0200
@@ -151,7 +151,7 @@
 code_const Code_Numeral.int_of
   (SML "IntInf.fromInt")
   (OCaml "_")
-  (Haskell "toInteger")
+  (Haskell "Prelude.toInteger")
   (Scala "!_.as'_BigInt")
   (Eval "_")
 




