
diff -r fbf1646b267c -r e558fe311376 src/HOL/Library/Pretty_Int.thy
--- a/src/HOL/Library/Pretty_Int.thy	Fri Aug 10 17:04:24 2007 +0200
+++ b/src/HOL/Library/Pretty_Int.thy	Fri Aug 10 17:04:34 2007 +0200
@@ -24,7 +24,7 @@
   (Haskell -)
 
 setup {*
-  fold (fn target => CodegenSerializer.add_pretty_numeral target true
+  fold (fn target => CodeTarget.add_pretty_numeral target true
     (@{const_name number_of}, @{typ "int \<Rightarrow> int"})
     @{const_name Numeral.B0} @{const_name Numeral.B1}
     @{const_name Numeral.Pls} @{const_name Numeral.Min}




