src/Pure/ML-Systems/polyml.ML

 
 use "ML-Systems/exn.ML";
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
 
+
+(** ML system and platform related **)
+
 val ml_system_fix_ints = false;
 
-
-(** ML system and platform related **)
+PolyML.Compiler.maxInlineSize := 80;
+
 
 (* String compatibility *)
 
 (*low-level pointer equality*)
 val pointer_eq = Address.wordEq;