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