src/Pure/ML-Systems/multithreading_polyml.ML

--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Jun 30 22:05:07 2009 +0200
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Jun 30 22:12:46 2009 +0200
@@ -38,7 +38,7 @@
 
 val available = true;
 
-val max_threads = ref 1;
+val max_threads = ref 0;
 
 val tested_platform =
   let val ml_platform = getenv "ML_PLATFORM"