--- a/src/Pure/pure_setup.ML Wed Dec 29 18:18:42 2010 +0100
+++ b/src/Pure/pure_setup.ML Wed Dec 29 20:41:33 2010 +0100
@@ -18,10 +18,6 @@
(* ML toplevel pretty printing *)
-if String.isPrefix "polyml" ml_system
-then toplevel_pp ["String", "string"] "ML_Syntax.pretty_string"
-else ();
-
toplevel_pp ["Pretty", "T"] "(fn _: Pretty.T => Pretty.str \"<pretty>\")";
toplevel_pp ["Task_Queue", "task"] "Pretty.str o Task_Queue.str_of_task";
toplevel_pp ["Task_Queue", "group"] "Pretty.str o Task_Queue.str_of_group";