From 3ec0fc2345320cfc53dd3726c5f734b682af0a6b Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 16 Oct 2019 17:02:23 -0700 Subject: [PATCH] port Grobner Signed-off-by: Lev Nachmanson --- src/math/grobner/grobner.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/math/grobner/grobner.cpp b/src/math/grobner/grobner.cpp index 4dd88d4e3..6ffe728c3 100644 --- a/src/math/grobner/grobner.cpp +++ b/src/math/grobner/grobner.cpp @@ -622,7 +622,6 @@ bool grobner::simplify_target_monomials(equation const * source, equation * targ /** \brief Simplify the target equation using the source as a rewrite rule. Return 0 if target was not simplified. - */ grobner::equation * grobner::simplify_source_target(equation const * source, equation * target) { TRACE("grobner", tout << "simplifying: "; display_equation(tout, *target); tout << "using: "; display_equation(tout, *source);); @@ -636,7 +635,7 @@ grobner::equation * grobner::simplify_source_target(equation const * source, equ } else { break; } - } while (!m_manager.canceled()); + } while (!m_manager.canceled()); TRACE("grobner", tout << "result: "; display_equation(tout, *target);); if (result) { target->m_dep = m_dep_manager.mk_join(target->m_dep, source->m_dep);