From 279bcb733db008fb43617188fc87bbfbe4d0ef2a Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sat, 28 Dec 2019 17:59:30 -0800
Subject: [PATCH] expose grobner statistics

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

diff --git a/src/math/grobner/pdd_grobner.cpp b/src/math/grobner/pdd_grobner.cpp
index a72f5ec5f..c661ee4ef 100644
--- a/src/math/grobner/pdd_grobner.cpp
+++ b/src/math/grobner/pdd_grobner.cpp
@@ -799,7 +799,6 @@ namespace dd {
         st.update("superposed", m_stats.m_superposed);
         st.update("degree", m_stats.m_max_expr_degree);
         st.update("size", m_stats.m_max_expr_size);
-        st.update("conflicts", m_stats.m_conflicts);
     }
             
     std::ostream& grobner::display(std::ostream & out, const equation & eq) const {