# HG changeset patch
# User wenzelm
# Date 1256553383 -3600
# Node ID e1b0280f0299d12dd0fb181b8e05d2179bbb40e3
# Parent  f35905921049a22f70d46571498e5ea01aa5808c
implicit default is 4 cores -- more cost-effective;

diff -r f35905921049 -r e1b0280f0299 src/Pure/ML-Systems/multithreading_polyml.ML
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Oct 26 11:30:20 2009 +0100
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Oct 26 11:36:23 2009 +0100
@@ -41,7 +41,7 @@
   let val m = ! max_threads in
     if m > 0 then m
     else if not tested_platform then 1
-    else Int.min (Int.max (Thread.numProcessors (), 1), 8)
+    else Int.min (Int.max (Thread.numProcessors (), 1), 4)
   end;
 
 fun enabled () = max_threads_value () > 1;