# HG changeset patch
# User wenzelm
# Date 1598297223 -7200
# Node ID 46bc864ec7a83472f278cd041556df26da817e34
# Parent  edaed30360cca0d6fe23211d90fef1edffb37cf3
tuned;

diff -r edaed30360cc -r 46bc864ec7a8 src/HOL/Tools/Nitpick/kodkod.scala
--- a/src/HOL/Tools/Nitpick/kodkod.scala	Mon Aug 24 17:58:04 2020 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.scala	Mon Aug 24 21:27:03 2020 +0200
@@ -37,8 +37,8 @@
     timeout: Time = Time.zero,
     max_threads: Int = 0): Result =
   {
-    val executor =
-      Executors.newFixedThreadPool(if (max_threads == 0) Isabelle_Thread.max_threads() else max_threads)
+    val pool_size = if (max_threads == 0) Isabelle_Thread.max_threads() else max_threads
+    val executor = Executors.newFixedThreadPool(pool_size)
 
     def executor_kill(): Unit =
       if (!executor.isShutdown) Isabelle_Thread.fork() { executor.shutdownNow() }