From e7a107bd219a69f4d74dde126dbec19e0f24ebdd Mon Sep 17 00:00:00 2001
From: Ilana Shapiro <ilanashapiro@Mac.localdomain>
Date: Wed, 17 Dec 2025 22:41:21 -0800
Subject: [PATCH] inprocessing flag

---
 src/smt/smt_parallel.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
index dc6b7cfb5..290dc8c44 100644
--- a/src/smt/smt_parallel.cpp
+++ b/src/smt/smt_parallel.cpp
@@ -147,6 +147,7 @@ namespace smt {
 
         smt_parallel_params pp(p.ctx.m_params);
         m_config.m_share_units = pp.share_units();
+        m_config.m_inprocessing = pp.inprocessing();
     }
 
     void parallel::worker::share_units() {