changeset 48431 | 6efff142bb54 |
parent 48073 | 1b609a7837ef |
--- 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 "_")