# HG changeset patch
# User wenzelm
# Date 1708200790 -3600
# Node ID 7cfda5c45c79507c27e6c09dc8f3467bffb33897
# Parent  93e6ca9e7595507c45200993511a92f2bb41ff4f
tuned;

diff -r 93e6ca9e7595 -r 7cfda5c45c79 src/HOL/Tools/Nitpick/kodkod.scala
--- a/src/HOL/Tools/Nitpick/kodkod.scala	Sat Feb 17 20:33:09 2024 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.scala	Sat Feb 17 21:13:10 2024 +0100
@@ -42,7 +42,7 @@
   ): Result = {
     /* executor */
 
-    val pool_size = if (max_threads == 0) Multithreading.max_threads() else max_threads
+    val pool_size = Multithreading.max_threads(value = max_threads)
     val executor: ThreadPoolExecutor =
       new ThreadPoolExecutor(pool_size, pool_size, 0L, TimeUnit.MILLISECONDS,
         new LinkedBlockingQueue[Runnable], new ThreadPoolExecutor.CallerRunsPolicy)