src/Pure/ML-Systems/alice.ML
changeset 23965 f93e509659c1
parent 23921 947152add153
child 24290 5607b8b752bb
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Tue Jul 24 19:44:36 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Tue Jul 24 19:44:37 2007 +0200
     1.3 @@ -13,7 +13,8 @@
     1.4  - Session.finish ();
     1.5  *)
     1.6  
     1.7 -use "ML-Systems/no_multithreading.ML";
     1.8 +use "ML-Systems/exn.ML";
     1.9 +use "ML-Systems/multithreading_dummy.ML";
    1.10  
    1.11  
    1.12  fun exit 0 = (OS.Process.exit OS.Process.success): unit