From cd33550f320deb538305f55019de35a2dfc021e8 Mon Sep 17 00:00:00 2001
From: Lev <levnach@hotmail.com>
Date: Wed, 12 Dec 2018 15:44:34 -1000
Subject: [PATCH] build fix

Signed-off-by: Lev <levnach@hotmail.com>
---
 src/util/lp/nla_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>