src/Pure/pure_setup.ML
changeset 41415 23533273220a
parent 40741 17d6293a1e26
child 41718 05514b09bb4b
     1.1 --- a/src/Pure/pure_setup.ML	Wed Dec 29 18:18:42 2010 +0100
     1.2 +++ b/src/Pure/pure_setup.ML	Wed Dec 29 20:41:33 2010 +0100
     1.3 @@ -18,10 +18,6 @@
     1.4  
     1.5  (* ML toplevel pretty printing *)
     1.6  
     1.7 -if String.isPrefix "polyml" ml_system
     1.8 -then toplevel_pp ["String", "string"] "ML_Syntax.pretty_string"
     1.9 -else ();
    1.10 -
    1.11  toplevel_pp ["Pretty", "T"] "(fn _: Pretty.T => Pretty.str \"<pretty>\")";
    1.12  toplevel_pp ["Task_Queue", "task"] "Pretty.str o Task_Queue.str_of_task";
    1.13  toplevel_pp ["Task_Queue", "group"] "Pretty.str o Task_Queue.str_of_group";