diff -r 4288dc7dc248 -r 947152add153 src/Pure/ML-Systems/mosml.ML
--- a/src/Pure/ML-Systems/mosml.ML	Mon Jul 23 13:50:31 2007 +0200
+++ b/src/Pure/ML-Systems/mosml.ML	Mon Jul 23 14:06:11 2007 +0200
@@ -29,6 +29,9 @@
 load "FileSys";
 load "IO";
 
+use "ML-Systems/no_multithreading.ML";
+
+
 (*low-level pointer equality*)
 local val cast : 'a -> int = Obj.magic
 in fun pointer_eq (x:'a, y:'a) = (cast x = cast y) end;