From f2d6bba6c343910812f771343e96e965518993a1 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 12 Feb 2026 22:25:35 +0000 Subject: [PATCH] Remove dlimit variable in recfun_solver.cpp - use direct call Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com> --- src/sat/smt/recfun_solver.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sat/smt/recfun_solver.cpp b/src/sat/smt/recfun_solver.cpp index 6899f2a56..909b673e3 100644 --- a/src/sat/smt/recfun_solver.cpp +++ b/src/sat/smt/recfun_solver.cpp @@ -139,9 +139,8 @@ namespace recfun { */ void solver::disable_guard(expr* guard, expr_ref_vector const& guards) { SASSERT(!is_enabled_guard(guard)); - app_ref dlimit = m_util.mk_num_rounds_pred(m_num_rounds); expr_ref_vector core(m); - core.push_back(std::move(dlimit)); + core.push_back(m_util.mk_num_rounds_pred(m_num_rounds)); core.push_back(guard); if (!m_guard2pending.contains(guard)) { m_disabled_guards.push_back(guard);