src/Pure/ML-Systems/smlnj.ML

--- a/src/Pure/ML-Systems/smlnj.ML	Mon Jan 23 15:23:31 2006 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Mon Jan 23 17:29:52 2006 +0100
@@ -59,6 +59,11 @@
 | _ => 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);