From b528083a8a68841adab532ac60294c53be740ba4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Mon, 2 Feb 2026 12:55:07 +0000
Subject: [PATCH] Pass `haskell_threads` to `BoosterServer`

---
 kmir/src/kmir/_prove.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kmir/src/kmir/_prove.py b/kmir/src/kmir/_prove.py
index d7092247a..624bf3eca 100644
--- a/kmir/src/kmir/_prove.py
+++ b/kmir/src/kmir/_prove.py
@@ -149,6 +149,7 @@ def _prove_parallel(
             'module_name': kmir.definition.main_module_name,
             'bug_report': kmir.bug_report,
             'simplify_each': 30,
+            'haskell_threads': opts.max_workers,
         }
     ) as server: