diff -r b43fd26e1aaa -r 956cd30ef3be src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Tue Jul 25 16:43:47 2006 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML	Tue Jul 25 16:51:26 2006 +0200
@@ -343,9 +343,9 @@
   type src = string;
   val ord = string_ord;
   fun mk reserved_ml (name, 0) =
-        (Name.alphanum o NameSpace.base) name
+        (Symbol.alphanum o NameSpace.base) name
     | mk reserved_ml (name, i) =
-        (Name.alphanum o NameSpace.base) name ^ replicate_string i "'";
+        (Symbol.alphanum o NameSpace.base) name ^ replicate_string i "'";
   fun is_valid (reserved_ml : string list) = not o member (op =) reserved_ml;
   fun maybe_unique _ _ = NONE;
   fun re_mangle _ dst = error ("no such definition name: " ^ quote dst);