diff options
Diffstat (limited to 'src/theory/substitutions.h')
| -rw-r--r-- | src/theory/substitutions.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/theory/substitutions.h b/src/theory/substitutions.h index 8572a6abd..48b8fa7e8 100644 --- a/src/theory/substitutions.h +++ b/src/theory/substitutions.h @@ -53,9 +53,6 @@ private: typedef std::hash_map<Node, Node, NodeHashFunction> NodeCache; - /** The context within which this SubstitutionMap was constructed. */ - context::Context* d_context; - /** The variables, in order of addition */ NodeMap d_substitutions; @@ -98,7 +95,6 @@ private: public: SubstitutionMap(context::Context* context, bool substituteUnderQuantifiers = true, bool solvedForm = false) : - d_context(context), d_substitutions(context), d_substitutionCache(), d_substituteUnderQuantifiers(substituteUnderQuantifiers), |