src/Pure/ROOT.ML
changeset 47979 59ec72d3d0b9
parent 47813 18de60b8c906
child 47980 c81801f881b3
     1.1 --- a/src/Pure/ROOT.ML	Thu May 24 14:46:14 2012 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu May 24 15:01:17 2012 +0200
     1.3 @@ -191,7 +191,7 @@
     1.4  use "ML/ml_env.ML";
     1.5  use "Isar/runtime.ML";
     1.6  use "ML/ml_compiler.ML";
     1.7 -if ML_System.name = "polyml-5.2.1" orelse ML_System.is_smlnj then ()
     1.8 +if ML_System.is_smlnj then ()
     1.9  else use "ML/ml_compiler_polyml-5.3.ML";
    1.10  use "ML/ml_context.ML";
    1.11