
diff -r cb910529d49d -r 0cc77abb185a src/HOL/Library/MLString.thy
--- a/src/HOL/Library/MLString.thy	Mon Sep 25 17:04:14 2006 +0200
+++ b/src/HOL/Library/MLString.thy	Mon Sep 25 17:04:15 2006 +0200
@@ -66,7 +66,7 @@
   (Haskell "_")
 
 setup {*
-  CodegenPackage.add_pretty_ml_string "SML" "List.list.Nil" "List.list.Cons" "MLString.ml_string.STR"
+  CodegenSerializer.add_pretty_ml_string "SML" "List.list.Nil" "List.list.Cons" "MLString.ml_string.STR"
     HOList.print_char HOList.print_string "String.implode"
 *}
 




