From 628bbcc6765073c5a4292532c492ea149a674385 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 16 Oct 2019 17:15:25 -0700
Subject: [PATCH] port Grobner

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

diff --git a/src/math/grobner/grobner.cpp b/src/math/grobner/grobner.cpp
index 6ffe728c3..a2ca362a8 100644
--- a/src/math/grobner/grobner.cpp
+++ b/src/math/grobner/grobner.cpp
@@ -636,7 +636,7 @@ grobner::equation * grobner::simplify_source_target(equation const * source, equ
             break;
         }
     } while (!m_manager.canceled());
-    TRACE("grobner", tout << "result: "; display_equation(tout, *target););
+    TRACE("grobner", tout << "result: " << result << "\n"; if (result) display_equation(tout, *target););
     if (result) {
         target->m_dep = m_dep_manager.mk_join(target->m_dep, source->m_dep);
         return target;