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;