From e32c1bdee81c0ea1990e52aafd80d3a1d05e54e6 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 29 Mar 2019 12:55:40 -0700
Subject: [PATCH] fix the build

Signed-off-by: Lev Nachmanson <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 285b728d1..ee1ee01dd 100644
--- a/src/util/lp/nla_solver.cpp
+++ b/src/util/lp/nla_solver.cpp
@@ -999,7 +999,7 @@ struct solver::imp {
     
     std::ostream & print_factorization(const factorization& f, std::ostream& out) const {
         if (f.is_mon()){
-            print_monomial(*f.mon(), tout << "is_mon ");
+            print_monomial(*f.mon(), out << "is_mon ");
         } else {
             for (unsigned k = 0; k < f.size(); k++ ) {
                 print_factor(f[k], out);