src/Pure/ML-Systems/mosml.ML

 
 exception Interrupt;
 fun reraise exn = raise exn;
 
 use "ML-Systems/exn.ML";
+use "ML-Systems/unsynchronized.ML";
 use "ML-Systems/universal.ML";
 use "ML-Systems/thread_dummy.ML";
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
 use "ML-Systems/ml_name_space.ML";