changeset 23921 | 947152add153 |
parent 23836 | c6094fe98dfd |
child 23965 | f93e509659c1 |
--- 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;