diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 6f7bf03f4..c2a5e1d16 100644
--- 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 {