[r2003-11-28 12:42:58 by szach] bugfix: s/print_xml_tf8/print_xml_utf8/

Original author: szach
Date: 2003-11-28 12:42:58+00:00

types/builtin.ml

@@ -198,7 +198,7 @@ Unary.register "print_xml"
   Ns.serialize_table
   Ns.deserialize_table;;
 
-Unary.register "print_xml_tf8"
+Unary.register "print_xml_utf8"
   (fun tenv -> Typer.get_ns_table tenv)
   (fun ns_table loc arg constr precise -> 
      ignore (arg Types.any false);