src/HOL/Int.thy

--- a/src/HOL/Int.thy	Fri May 23 16:37:57 2008 +0200
+++ b/src/HOL/Int.thy	Fri May 23 16:41:39 2008 +0200
@@ -1979,7 +1979,7 @@
   let val i = HOLogic.dest_numeral (strip_number_of t)
   in
     SOME (fst (Codegen.invoke_tycodegen thy defs dep module false (gr, HOLogic.intT)),
-      Pretty.str (string_of_int i))
+      Codegen.str (string_of_int i))
   end handle TERM _ => NONE;
 
 in