From fb56d8462e5e839bf6592ccd763e814b8391f94e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Feb 2026 08:29:38 +0000
Subject: [PATCH] Revert incorrect std::move in macro_replacer.cpp - variable
 used before move

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

diff --git a/src/ast/rewriter/macro_replacer.cpp b/src/ast/rewriter/macro_replacer.cpp
index 558370407..b942276f5 100644
--- a/src/ast/rewriter/macro_replacer.cpp
+++ b/src/ast/rewriter/macro_replacer.cpp
@@ -96,7 +96,7 @@ struct macro_replacer::macro_replacer_cfg : public default_rewriter_cfg {
             var_subst s(m);
             expr_ref rr = s(def, num, subst_args.data());
             r = rr;
-            m_trail.push_back(std::move(rr));
+            m_trail.push_back(rr);
             m_used_macro_dependencies = m.mk_join(m_used_macro_dependencies, dep);
             // skip proof terms for simplifiers
             return true;