# HG changeset patch
# User wenzelm
# Date 1707920541 -3600
# Node ID d1f0608865904d7da62822be54a44aa7c889317c
# Parent  83627a092fbf32497ba49824a0442de60900ef0d
more robust default;

diff -r 83627a092fbf -r d1f060886590 src/Pure/Concurrent/multithreading.scala
--- a/src/Pure/Concurrent/multithreading.scala	Wed Feb 14 15:01:27 2024 +0100
+++ b/src/Pure/Concurrent/multithreading.scala	Wed Feb 14 15:22:21 2024 +0100
@@ -36,7 +36,7 @@
           case _ =>
         }
       }
-      physical_cores.valuesIterator.sum
+      physical_cores.valuesIterator.sum.max(1)
     }