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));