src/Pure/ML-Systems/smlnj.ML

 (case #version_id (Compiler.version) of
   [110, x] => if x >= 44
               then use "ML-Systems/cpu-timer-basis.ML"
               else use "ML-Systems/cpu-timer-gc.ML"
 | _ => use "ML-Systems/cpu-timer-gc.ML");
+
+
+(* bounded time execution *)
+
+use "ML-Systems/smlnj-interrupt-timeout.ML";
 
 
 (*prompts*)
 fun ml_prompts p1 p2 =
   (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);