# HG changeset patch
# User wenzelm
# Date 1246392766 -7200
# Node ID 15d55d07de8b3f606c0307c0debc771e45ee000f
# Parent  da0dc13101394663a2d6e1a7ae0987874b421429
default to maximum max_threads;

diff -r da0dc1310139 -r 15d55d07de8b 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"