1.1 --- a/src/Pure/ML-Systems/polyml.ML	Thu Jul 30 23:37:53 2009 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml.ML	Thu Jul 30 23:50:11 2009 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  use "ML-Systems/polyml_common.ML";
     1.5  
     1.6  if ml_system = "polyml-5.2"
     1.7 -then use "ML-Systems/thread_dummy.ML"
     1.8 +then (use "ML-Systems/thread_dummy.ML"; use "ML-Systems/multithreading.ML")
     1.9  else use "ML-Systems/multithreading_polyml.ML";
    1.10  
    1.11  val pointer_eq = PolyML.pointerEq;