mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 08:51:55 +00:00
Code Activity

fix introduced memory leak

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-09-29 18:33:47 -07:00
parent c3281f08ef
commit fa2d7a1c57
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/lp/lar_constraints.h
View file

@ -77,6 +77,10 @@ public:
lar_var_constraint(unsigned j, lconstraint_kind kind, u_dependency* dep, const mpq& right_side) : lar_var_constraint(unsigned j, lconstraint_kind kind, u_dependency* dep, const mpq& right_side) :
lar_base_constraint(j, kind, dep, right_side) {} lar_base_constraint(j, kind, dep, right_side) {}
~lar_var_constraint() override {
dealloc(m_lhs);
}
vector<std::pair<mpq, lpvar>> coeffs() const override { vector<std::pair<mpq, lpvar>> coeffs() const override {
vector<std::pair<mpq, lpvar>> ret; vector<std::pair<mpq, lpvar>> ret;
ret.push_back(std::make_pair(one_of_type<mpq>(), column())); ret.push_back(std::make_pair(one_of_type<mpq>(), column()));