From e653f167df272298ff37c7f96b8256e4ae08ab13 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 10 Sep 2025 20:13:36 -0700 Subject: [PATCH] add sketch of inprocessing Signed-off-by: Nikolaj Bjorner --- src/smt/smt_parallel2.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt_parallel2.cpp b/src/smt/smt_parallel2.cpp index 86b524b4e..80ebcce4a 100644 --- a/src/smt/smt_parallel2.cpp +++ b/src/smt/smt_parallel2.cpp @@ -342,7 +342,7 @@ namespace smt { if (!m_config.m_inprocessing) return; m_config.m_inprocessing = false; // initial strategy is to immediately disable inprocessing for future calls. - dep_expr_state fmls(m); + dep_expr_state fmls(m); // TBD, OH, this also has to be heap allocated for m_simplifier to be valid! if (!ctx->m_simplifier) { // create a simplifier if none exists // initialize it to a default pre-processing simplifier.