src/Pure/Syntax/lexicon.ML

 
 
 (* toplevel pretty printing *)
 
 val _ =
-  PolyML.addPrettyPrinter (fn _ => fn _ =>
+  ML_system_pp (fn _ => fn _ =>
     Pretty.to_polyml o Pretty.str_list "{" "}" o map quote o Scan.dest_lexicon);
 
 end;