From de26d8f6f75317e750bc55aba163af2c04a6c697 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Tue, 10 Feb 2026 19:30:49 +0000
Subject: [PATCH] revert swap changes to fix CI

---
 src/math/polynomial/polynomial.cpp  | 2 +-
 src/math/polynomial/upolynomial.cpp | 8 ++++----
 src/qe/nlqsat.cpp                   | 2 +-
 src/smt/proto_model/proto_model.cpp | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp
index f4cfa1fbd..dde532107 100644
--- a/src/math/polynomial/polynomial.cpp
+++ b/src/math/polynomial/polynomial.cpp
@@ -2133,7 +2133,7 @@ namespace polynomial {
                     m_m2pos.reset(m);
                     m_m2pos.set(m, i);
                 }
-                m_tmp_as = std::move(new_as);
+                m_tmp_as.swap(new_as);
             }
 
             // For each monomial m
diff --git a/src/math/polynomial/upolynomial.cpp b/src/math/polynomial/upolynomial.cpp
index f590cf3b1..27478bdf0 100644
--- a/src/math/polynomial/upolynomial.cpp
+++ b/src/math/polynomial/upolynomial.cpp
@@ -249,7 +249,7 @@ namespace upolynomial {
 
     void core_manager::neg(unsigned sz, numeral const * p, numeral_vector & buffer) {
         neg_core(sz, p, m_basic_tmp);
-        buffer = std::move(m_basic_tmp);
+        buffer.swap(m_basic_tmp);
     }
 
     // buffer := p1 + p2
@@ -274,7 +274,7 @@ namespace upolynomial {
 
     void core_manager::add(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2, numeral_vector & buffer) {
         add_core(sz1, p1, sz2, p2, m_basic_tmp);
-        buffer = std::move(m_basic_tmp);
+        buffer.swap(m_basic_tmp);
     }
 
     // buffer := p1 - p2
@@ -802,7 +802,7 @@ namespace upolynomial {
                 TRACE(mgcd, tout << "found GCD\n";);
                 mul(candidate, c_g);
                 flip_sign_if_lm_neg(candidate);
-                result = std::move(candidate);
+                candidate.swap(result);
                 TRACE(mgcd, tout << "r: "; display_star(tout, result); tout << "\n";);
                 return;
             }
@@ -1009,7 +1009,7 @@ namespace upolynomial {
         set(sz, p, result);
         for (unsigned i = 1; i < k; ++i)
             mul(m_pw_tmp.size(), m_pw_tmp.data(), sz, p, m_pw_tmp);
-        r = std::move(result);
+        r.swap(result);
 #if 0
         unsigned mask  = 1;
         numeral_vector & p2 = m_pw_tmp;
diff --git a/src/qe/nlqsat.cpp b/src/qe/nlqsat.cpp
index 263dad43c..04ecdebb1 100644
--- a/src/qe/nlqsat.cpp
+++ b/src/qe/nlqsat.cpp
@@ -387,7 +387,7 @@ namespace qe {
             for (unsigned i = vars.size(); i-- > 0;) {
                 ex.project(vars[i], result.size(), result.data(), new_result);
                 TRACE(qe, display_project(tout, vars[i], result, new_result););
-                result = std::move(new_result);
+                result.swap(new_result);
             }
             negate_clause(result);
         }
diff --git a/src/smt/proto_model/proto_model.cpp b/src/smt/proto_model/proto_model.cpp
index a62e51603..2d97c4522 100644
--- a/src/smt/proto_model/proto_model.cpp
+++ b/src/smt/proto_model/proto_model.cpp
@@ -239,7 +239,7 @@ void proto_model::cleanup() {
                 unregister_decl(faux);
             }
         }
-        m_aux_decls = std::move(found_aux_fs);
+        m_aux_decls.swap(found_aux_fs);
     }
     TRACE(model_bug, model_v2_pp(tout, *this););
 }