From 30ce6f20f2b2311c504cd7d30a01b0891d6174f7 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 15 May 2020 13:03:18 -0700
Subject: [PATCH] move nla stats to nla_core

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

diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h
index 9660b08a0..edf48f680 100644
--- a/src/math/lp/nla_core.h
+++ b/src/math/lp/nla_core.h
@@ -143,7 +143,6 @@ class core {
         unsigned m_nla_explanations;
         unsigned m_nla_lemmas;
         unsigned m_nra_calls;
-        unsigned m_assume_eqs;
         stats() { reset(); }
         void reset() {
             memset(this, 0, sizeof(*this));