src/Pure/pure_setup.ML

--- a/src/Pure/pure_setup.ML	Thu May 24 15:01:17 2012 +0200
+++ b/src/Pure/pure_setup.ML	Thu May 24 15:33:45 2012 +0200
@@ -36,9 +36,7 @@
 toplevel_pp ["Proof", "state"] "(fn _: Proof.state => Pretty.str \"<Proof.state>\")";
 toplevel_pp ["Toplevel", "state"] "Toplevel.pretty_abstract";
 
-if ML_System.is_polyml
-then use "ML/install_pp_polyml-5.3.ML"
-else ();
+if ML_System.is_polyml then use "ML/install_pp_polyml.ML" else ();
 
 
 (* ML toplevel use commands *)