From 1a0d68e1b72127c92fc402bc00ea9c7773991de0 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 15 Apr 2019 15:36:31 -0700
Subject: [PATCH] remove shadow m_core fields

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/nla_basics_lemmas.h  | 3 ---
 src/util/lp/nla_order_lemmas.h   | 5 -----
 src/util/lp/nla_tangent_lemmas.h | 3 ---
 3 files changed, 11 deletions(-)

diff --git a/src/util/lp/nla_basics_lemmas.h b/src/util/lp/nla_basics_lemmas.h
index d370411d4..ec31863e6 100644
--- a/src/util/lp/nla_basics_lemmas.h
+++ b/src/util/lp/nla_basics_lemmas.h
@@ -27,9 +27,6 @@
 namespace nla {
 struct core;
 struct basics: common {
-    core* m_core;
-    core& c() { return *m_core; }
-    const core& c() const { return *m_core; }
     basics(core *core);
     bool basic_sign_lemma_on_two_monomials(const monomial& m, const monomial& n, const rational& sign);
 
diff --git a/src/util/lp/nla_order_lemmas.h b/src/util/lp/nla_order_lemmas.h
index 0b13f392c..b6d1c71e1 100644
--- a/src/util/lp/nla_order_lemmas.h
+++ b/src/util/lp/nla_order_lemmas.h
@@ -25,13 +25,8 @@
 namespace nla {
 struct core;
 struct order: common {
-
-    // fields
-    core * m_core;
     core& _() { return *m_core; }
     const core& _() const { return *m_core; }
-    core& c() { return *m_core; }
-    const core& c() const { return *m_core; }
     //constructor
     order(core *c) : common(c) {}
     bool order_lemma_on_ac_and_bc_and_factors(const rooted_mon& ac,
diff --git a/src/util/lp/nla_tangent_lemmas.h b/src/util/lp/nla_tangent_lemmas.h
index ce3ede154..3ff2ae001 100644
--- a/src/util/lp/nla_tangent_lemmas.h
+++ b/src/util/lp/nla_tangent_lemmas.h
@@ -45,9 +45,6 @@ struct tangents: common {
         }
     };
     
-    core* m_core;
-    core& c() { return *m_core; }
-    const core& c() const { return *m_core; }
     tangents(core *core);
 
     void generate_simple_tangent_lemma(const rooted_mon* rm);