1.1 --- a/src/Pure/pure_setup.ML	Sat Nov 28 20:03:07 2009 +0100
     1.2 +++ b/src/Pure/pure_setup.ML	Sat Nov 28 22:28:15 2009 +0100
     1.3 @@ -39,6 +39,11 @@
     1.4  then use "ML-Systems/install_pp_polyml.ML"
     1.5  else ();
     1.6  
     1.7 +if ml_system = "polyml-5.0" orelse ml_system = "polyml-5.1" then
     1.8 +  Secure.use_text ML_Parse.global_context (0, "") false
     1.9 +    "PolyML.Compiler.maxInlineSize := 20"
    1.10 +else ();
    1.11 +
    1.12  
    1.13  (* ML toplevel use commands *)
    1.14