From d04433ef70c2ba9da04c2948bf7a1b9e039309ff Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 20 Sep 2025 20:44:49 +0300
Subject: [PATCH] config parameters

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_parallel.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_parallel.h b/src/smt/smt_parallel.h
index 25d8f576b..da9e38897 100644
--- a/src/smt/smt_parallel.h
+++ b/src/smt/smt_parallel.h
@@ -108,7 +108,6 @@ namespace smt {
         class worker {
             struct config {
                 unsigned m_threads_max_conflicts = 1000;
-                bool m_share_conflicts = false;
                 bool m_share_units = true;
                 bool m_share_units_relevant_only = true;
                 bool m_share_units_initial_only = true;