mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-14 04:41:48 +00:00
Code Activity

Apply std::move to obj_map return in opt_preprocess.cpp

Browse source 
Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-12 09:21:03 +00:00
parent d60e94c48e
commit eec9cb7a4b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/opt/opt_preprocess.cpp
View file

@ -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) {