From 19120bee816a47dbde48c1e9037d5f8cf1512bd5 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 20 Jan 2020 15:26:33 -0800 Subject: [PATCH] fix the debug build Signed-off-by: Lev Nachmanson --- src/math/lp/bound_analyzer_on_row.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/bound_analyzer_on_row.h b/src/math/lp/bound_analyzer_on_row.h index ff44547c5..89ddf6336 100644 --- a/src/math/lp/bound_analyzer_on_row.h +++ b/src/math/lp/bound_analyzer_on_row.h @@ -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);