src/Pure/ML-Systems/multithreading_polyml.ML
changeset 31897 15d55d07de8b
parent 31630 2f8ed0dca3bd
child 32107 47d0da617fcc
     1.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Jun 30 22:05:07 2009 +0200
     1.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Jun 30 22:12:46 2009 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4  
     1.5  val available = true;
     1.6  
     1.7 -val max_threads = ref 1;
     1.8 +val max_threads = ref 0;
     1.9  
    1.10  val tested_platform =
    1.11    let val ml_platform = getenv "ML_PLATFORM"