diff -r 8a1ab91df301 -r 05514b09bb4b src/Pure/pure_setup.ML
--- a/src/Pure/pure_setup.ML	Tue Feb 08 17:27:18 2011 +0100
+++ b/src/Pure/pure_setup.ML	Tue Feb 08 17:36:21 2011 +0100
@@ -36,7 +36,7 @@
 toplevel_pp ["Proof", "state"] "(fn _: Proof.state => Pretty.str \"<Proof.state>\")";
 toplevel_pp ["Toplevel", "state"] "Toplevel.pretty_abstract";
 
-if ml_system = "polyml-5.2" orelse ml_system = "polyml-5.2.1"
+if ml_system = "polyml-5.2.1"
 then use "ML/install_pp_polyml.ML"
 else if String.isPrefix "polyml" ml_system
 then use "ML/install_pp_polyml-5.3.ML"