diff --git a/src/util/lp/nla_solver.cpp b/src/util/lp/nla_solver.cpp
index a554302e2..5578e3129 100644
--- a/src/util/lp/nla_solver.cpp
+++ b/src/util/lp/nla_solver.cpp
@@ -213,7 +213,7 @@ struct solver::imp {
     }
 
     std::ostream& print_monomial_with_vars(unsigned i, std::ostream& out) const {
-        return print_monomial_with_vars(m_monomials[i], tout);
+        return print_monomial_with_vars(m_monomials[i], out);
     }
 
     template <typename T>