From f8df7770a21866b561c58e629497259e34904cb8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 19 Sep 2019 16:41:28 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/nlsat/nlsat_explain.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp index f90b38ca3..b5c165ce6 100644 --- a/src/nlsat/nlsat_explain.cpp +++ b/src/nlsat/nlsat_explain.cpp @@ -1354,9 +1354,9 @@ namespace nlsat { var max = max_var(num, ls); SASSERT(max != null_var); normalize(m_core2, max); - TRACE("nlsat_explain", tout << "core after normalization\n"; display(tout, m_core2);); + TRACE("nlsat_explain", tout << "core after normalization\n"; display(tout, m_core2) << "\n";); simplify(m_core2, max); - TRACE("nlsat_explain", tout << "core after simplify\n"; display(tout, m_core2);); + TRACE("nlsat_explain", tout << "core after simplify\n"; display(tout, m_core2) << "\n";); main(m_core2.size(), m_core2.c_ptr()); m_core2.reset(); } @@ -1454,7 +1454,7 @@ namespace nlsat { process(num, ls); reset_already_added(); m_result = nullptr; - TRACE("nlsat_explain", display(tout << "[explain] result\n", result);); + TRACE("nlsat_explain", display(tout << "[explain] result\n", result) << "\n";); CASSERT("nlsat", check_already_added()); }