From 9cdcb56cd63f6f04a293cae2dfdf96ae1ec8c3b2 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Feb 2026 17:50:18 +0000
Subject: [PATCH] Revert std::move in smt_internalizer.cpp - variable used
 after push

Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
---
 src/smt/smt_internalizer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_internalizer.cpp b/src/smt/smt_internalizer.cpp
index e81245094..dce34a366 100644
--- a/src/smt/smt_internalizer.cpp
+++ b/src/smt/smt_internalizer.cpp
@@ -589,7 +589,7 @@ namespace smt {
         app_ref lam_name(m.mk_fresh_const("lambda", q->get_sort()), m);
         app_ref eq(m), lam_app(m);
         expr_ref_vector vars(m);
-        vars.push_back(std::move(lam_name));
+        vars.push_back(lam_name);
         unsigned sz = q->get_num_decls();
         for (unsigned i = 0; i < sz; ++i) 
             vars.push_back(m.mk_var(sz - i - 1, q->get_decl_sort(i)));