From 18714ce0201162c1fbb472d465c74534fc312741 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 29 Aug 2018 19:12:57 +0800
Subject: [PATCH] improve printing

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

diff --git a/src/util/lp/niil_solver.cpp b/src/util/lp/niil_solver.cpp
index ccd99d7ee..d14d2e37e 100644
--- a/src/util/lp/niil_solver.cpp
+++ b/src/util/lp/niil_solver.cpp
@@ -532,12 +532,13 @@ struct solver::imp {
             if (j == m.m_v) {
                 monomial = true;
                 print_monomial(m, out);
-                out << " = " << m_lar_solver.get_column_value(j) << "\n";;
+                out << " = " << m_lar_solver.get_column_value(j);;
                 break;
             }
         }
         if (!monomial)
             out << m_lar_solver.get_column_name(j) << " = " << m_lar_solver.get_column_value(j);
+        out <<";";
         return out;
     }