src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Nov 09 20:47:39 2009 +0100
+++ b/src/Pure/ROOT.ML	Mon Nov 09 21:30:54 2009 +0100
@@ -169,7 +169,7 @@
 use "ML/ml_syntax.ML";
 use "ML/ml_env.ML";
 use "Isar/runtime.ML";
-if ml_system = "polyml-experimental"
+if ml_system = "polyml-5.3.0"
 then use "ML/ml_compiler_polyml-5.3.ML"
 else use "ML/ml_compiler.ML";
 use "ML/ml_context.ML";