disabled threads -- as advertized;
authorwenzelm
Tue Nov 18 13:19:13 2008 +0100 (2008-11-18)
changeset 28836dd361ca41f69
parent 28835 d4d8eba5f781
child 28837 c6b17889237a
disabled threads -- as advertized;
src/Pure/ML-Systems/polyml-5.1.ML
     1.1 --- a/src/Pure/ML-Systems/polyml-5.1.ML	Tue Nov 18 11:26:59 2008 +0100
     1.2 +++ b/src/Pure/ML-Systems/polyml-5.1.ML	Tue Nov 18 13:19:13 2008 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  Compatibility wrapper for Poly/ML 5.1.
     1.5  *)
     1.6  
     1.7 -open Thread;
     1.8 +use "ML-Systems/thread_dummy.ML";
     1.9  use "ML-Systems/polyml_common.ML";
    1.10  use "ML-Systems/polyml_old_compiler5.ML";
    1.11