cheap_eqs - fix the build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
Z3Prover · Jul 4, 2020 · fff6a94 · fff6a94
1 parent 61da368
commit fff6a94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
@@ -56,7 +56,7 @@ class lp_bound_propagator {
         else { out << "null"; }
         out <<  "} , lvl = " << v->level();
         if (fixed_phase()) {
-            tout << " fixed phase";
+            out << " fixed phase";
         } if (m_pol.contains(v->column())) {
             out << (pol(v) == -1? " -":" +");
         } else {