src/Pure/ML-Systems/polyml-5.1.ML
changeset 28254 d67ba23e0277
parent 28153 67147cc3f967
child 28836 dd361ca41f69
     1.1 --- a/src/Pure/ML-Systems/polyml-5.1.ML	Tue Sep 16 17:28:37 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml-5.1.ML	Tue Sep 16 18:01:24 2008 +0200
     1.3 @@ -6,7 +6,6 @@
     1.4  
     1.5  open Thread;
     1.6  use "ML-Systems/polyml_common.ML";
     1.7 -use "ML-Systems/multithreading_polyml.ML";
     1.8  use "ML-Systems/polyml_old_compiler5.ML";
     1.9  
    1.10  val pointer_eq = PolyML.pointerEq;