src/Pure/ML-Systems/alice.ML
changeset 23921 947152add153
parent 23835 1990e9acc7d1
child 23965 f93e509659c1
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Mon Jul 23 13:50:31 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Mon Jul 23 14:06:11 2007 +0200
     1.3 @@ -13,6 +13,9 @@
     1.4  - Session.finish ();
     1.5  *)
     1.6  
     1.7 +use "ML-Systems/no_multithreading.ML";
     1.8 +
     1.9 +
    1.10  fun exit 0 = (OS.Process.exit OS.Process.success): unit
    1.11    | exit _ = OS.Process.exit OS.Process.failure;
    1.12