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);

     Compiler.Control.Print.out := out_orig;
     if verbose then print (output ()) else ()
   end;
 
 
-
 (** interrupts **)
 
 exception Interrupt;
 
 local

               then use "ML-Systems/smlnj-basis-compat.ML"
               else ()
 | _ => ());
 
 
+
+(* bounded time execution *)
+
+use "ML-Systems/smlnj-interrupt-timeout.ML";
+
+
 (** Signal handling: emulation of the Poly/ML Signal structure. Note that types
     Posix.Signal.signal and Signals.signal differ **)
 
 structure IsaSignal =
 struct