From 61da368ee3dafc7910774c28818b37641e936573 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 2 Jul 2020 12:58:11 -0700
Subject: [PATCH] cheap_eqs - work on fixed_phase

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lp_bound_propagator.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 0b4f55dde..6f7bf03f4 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -58,9 +58,9 @@ class lp_bound_propagator {
         if (fixed_phase()) {
             tout << " fixed phase";
         } if (m_pol.contains(v->column())) {
-            tout << (pol(v) == -1? " -":" +");
+            out << (pol(v) == -1? " -":" +");
         } else {
-            tout << " not in m_pol";
+            out << " not in m_pol";
         }
         return out;
     }