From 055bce306a81690c51fa3b6dc17ae75173023a64 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 12 Feb 2026 18:08:51 +0000 Subject: [PATCH] Remove dlimit variable in theory_recfun.cpp disable_guard - use direct call Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com> --- src/smt/theory_recfun.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/smt/theory_recfun.cpp b/src/smt/theory_recfun.cpp index 4f605bf7d..d2dffaf98 100644 --- a/src/smt/theory_recfun.cpp +++ b/src/smt/theory_recfun.cpp @@ -161,9 +161,8 @@ namespace smt { */ void theory_recfun::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);