mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

Merge pull request #1983 from waywardmonkeys/missing-ref

Browse source 
mk_coeffs_without was inadvertently copying src.
This commit is contained in:
Nikolaj Bjorner 2018-11-28 09:07:15 -08:00 committed by GitHub
parent a78380901e a3281a02db
commit ee5ae8fb5e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/math/simplex/model_based_opt.cpp
View file

@ -606,7 +606,7 @@ namespace opt {
}
}
void model_based_opt::mk_coeffs_without(vector<var>& dst, vector<var> const src, unsigned x) {
void model_based_opt::mk_coeffs_without(vector<var>& dst, vector<var> const& src, unsigned x) {
for (var const & v : src) {
if (v.m_id != x) dst.push_back(v);
}

2
src/math/simplex/model_based_opt.h
View file

@ -132,7 +132,7 @@ namespace opt {
void normalize(unsigned row_id);
void mk_coeffs_without(vector<var>& dst, vector<var> const src, unsigned x);
void mk_coeffs_without(vector<var>& dst, vector<var> const& src, unsigned x);
unsigned new_row();