--- 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)