From eec9cb7a4b3d3b8217e4d02234c97aa1c6b317ed Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Feb 2026 09:21:03 +0000
Subject: [PATCH] Apply std::move to obj_map return in opt_preprocess.cpp

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

diff --git a/src/opt/opt_preprocess.cpp b/src/opt/opt_preprocess.cpp
index 2e1b78070..5c03c640a 100644
--- a/src/opt/opt_preprocess.cpp
+++ b/src/opt/opt_preprocess.cpp
@@ -146,7 +146,7 @@ namespace opt {
         for (expr* f : fmls)
             fmls[i++] = mk_not(m, f);
 
-        return new_soft;
+        return std::move(new_soft);
     }
 
     bool preprocess::find_mutexes(vector<soft>& softs, rational& lower) {