From 146fd77e0f6eb6a2fd01cc56ccb83788ac9f67fd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 15 May 2020 08:54:50 -0700
Subject: [PATCH] pretty print

---
 src/math/lp/nla_core.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index d83bc89c5..3151a1223 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -174,7 +174,7 @@ std::ostream& core::print_product(const T & m, std::ostream& out) const {
         if (lp_settings().m_print_external_var_name)
             out << "(" << m_lar_solver.get_variable_name(v) << "=" << val(v) << ")";
         else
-            out << "(j" << v << " =" << val(v) << ")";
+            out << "(j" << v << " = " << val(v) << ")";
             
     }
     return out;