From b703d2786cb1261e999c6ed46cfbbe0ae402343a Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 19 Jun 2020 14:50:26 -0700 Subject: [PATCH] fix the build cheap_eqs Signed-off-by: Lev Nachmanson --- src/math/lp/lp_bound_propagator.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h index e04a6bd91..ba826d982 100644 --- a/src/math/lp/lp_bound_propagator.h +++ b/src/math/lp/lp_bound_propagator.h @@ -60,9 +60,9 @@ class lp_bound_propagator { const ptr_vector & children() const { return m_children; } std::ostream& print(std::ostream & out) const { out << "r = " << m_row << ", c = " << m_column << ", P = {"; - if (m_parent) { tout << "(" << m_parent->row() << ", " << m_parent->column() << ")";} - else { tout << "null"; } - tout << "} , lvl = " << m_level << (neg()? " -":" +"); + if (m_parent) { out << "(" << m_parent->row() << ", " << m_parent->column() << ")";} + else { out << "null"; } + out << "} , lvl = " << m_level << (neg()? " -":" +"); return out; } bool operator==(const vertex& o) const {