From 81af0cc2303b6edeec8f5016fc510e0946d2a81f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 12 Jun 2026 10:58:11 -0700 Subject: [PATCH] remove atom Signed-off-by: Nikolaj Bjorner --- src/smt/smt_solver.cpp | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp index 69e63d1f2..f691dfa05 100644 --- a/src/smt/smt_solver.cpp +++ b/src/smt/smt_solver.cpp @@ -88,13 +88,13 @@ namespace { updt_params(p); } - solver * translate(ast_manager & m, params_ref const & p) override { - ast_translation translator(get_manager(), m); + solver * translate(ast_manager & target, params_ref const & p) override { + ast_translation translator(get_manager(), target); params_ref init; init.copy(get_params()); init.copy(p); - smt_solver* result = alloc(smt_solver, m, init, m_logic); + smt_solver* result = alloc(smt_solver, target, init, m_logic); smt::kernel::copy(m_context, result->m_context, true); if (mc0()) @@ -481,12 +481,12 @@ namespace { } vars.reset(); - for (auto const& c : candidates) - vars.push_back(c.e); - expr_ref_vector lits(m); - if (!candidates.empty()) - lits.push_back(candidates[0].e); + for (auto const &c : candidates) { + vars.push_back(c.e); + lits.push_back(c.e); + } + return lits; }