src/Pure/ML-Systems/alice.ML
changeset 24688 a5754ca5c510
parent 24597 cbf2c5cf335e
child 24807 f66ab1dfbae1
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Sun Sep 23 23:39:42 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Mon Sep 24 13:52:50 2007 +0200
     1.3 @@ -16,7 +16,8 @@
     1.4  val ml_system_fix_ints = false;
     1.5  
     1.6  use "ML-Systems/exn.ML";
     1.7 -use "ML-Systems/multithreading_dummy.ML";
     1.8 +use "ML-Systems/multithreading.ML";
     1.9 +use "ML-Systems/time_limit.ML";
    1.10  
    1.11  
    1.12  fun exit 0 = (OS.Process.exit OS.Process.success): unit
    1.13 @@ -125,13 +126,6 @@
    1.14  end;
    1.15  
    1.16  
    1.17 -(* bounded time execution *)
    1.18 -
    1.19 -(*dummy implementation*)
    1.20 -fun interrupt_timeout time f x =
    1.21 -  f x;
    1.22 -
    1.23 -
    1.24  
    1.25  (** OS related **)
    1.26