From 1cc5935953e337f1ef37990f995670cdce8a9c5a Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 27 Dec 2019 15:19:34 -0800
Subject: [PATCH] call m_pdd_grobner.reset()

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

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 2abac41ca..e1358d542 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1420,6 +1420,7 @@ void core::create_vars_used_in_mrows() {
 void core::run_pdd_grobner() {
     //    m_pdd_manager.resize(m_lar_solver.number_of_vars());
     create_vars_used_in_mrows();
+    m_pdd_grobner.reset();
     for (unsigned i : m_rows) {
         add_row_to_pdd_grobner(m_lar_solver.A_r().m_rows[i]);
     }