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

fix the debug build

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2020-01-20 15:26:33 -08:00
parent 80245f05ad
commit 19120bee81
1 changed files with 2 additions and 2 deletions

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

@ -158,7 +158,7 @@ public :
void limit_all_monoids_from_above() {
int strict = 0;
m_total.reset();
lp_assert(is_zero(total));
lp_assert(is_zero(m_total));
for (const auto& p : m_row) {
bool str;
m_total -= monoid_min(p.coeff(), p.var(), str);
@ -184,7 +184,7 @@ public :
void limit_all_monoids_from_below() {
int strict = 0;
m_total.reset();
lp_assert(is_zero(total));
lp_assert(is_zero(m_total));
for (const auto &p : m_row) {
bool str;
m_total -= monoid_max(p.coeff(), p.var(), str);