From 005021f74e6352d2f148acbb2211b7faeb7eed6d Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 9 Oct 2019 16:41:03 -0700
Subject: [PATCH] port on Grobner

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 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 21267fd09..cca73b8b5 100644
--- a/src/math/grobner/grobner.cpp
+++ b/src/math/grobner/grobner.cpp
@@ -608,13 +608,12 @@ unsigned grobner::simplify_loop_on_target_monomials(equation const * source, equ
                 target->m_lc = false;
             mul_append(1, source, coeff, rest, new_monomials);
             del_monomial(curr);
-            target->m_monomials[i] = nullptr;
         }
         else {
             target->m_monomials[n_sz++] = curr;
         }
     }
-    return n_sz < target->m_monomials.size();
+    return n_sz;
 }
 
 /**