src/Pure/ML-Systems/mosml.ML
changeset 32737 76fa673eee8b
parent 31686 e54ae15335a1
child 32776 1504f9c2d060
     1.1 --- a/src/Pure/ML-Systems/mosml.ML	Mon Sep 28 23:51:13 2009 +0200
     1.2 +++ b/src/Pure/ML-Systems/mosml.ML	Tue Sep 29 11:48:32 2009 +0200
     1.3 @@ -41,6 +41,7 @@
     1.4  fun reraise exn = raise exn;
     1.5  
     1.6  use "ML-Systems/exn.ML";
     1.7 +use "ML-Systems/unsynchronized.ML";
     1.8  use "ML-Systems/universal.ML";
     1.9  use "ML-Systems/thread_dummy.ML";
    1.10  use "ML-Systems/multithreading.ML";