diff options
Diffstat (limited to 'src/theory/arrays/theory_arrays.h')
| -rw-r--r-- | src/theory/arrays/theory_arrays.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h index 65b77f801..eaa3ca431 100644 --- a/src/theory/arrays/theory_arrays.h +++ b/src/theory/arrays/theory_arrays.h @@ -178,7 +178,7 @@ class TheoryArrays : public Theory { context::CDHashSet<Node, NodeHashFunction > d_isPreRegistered; /** Helper for preRegisterTerm, also used internally */ - void preRegisterTermInternal(TNode n, bool internalAssert = true); + void preRegisterTermInternal(TNode n); public: @@ -335,7 +335,6 @@ class TheoryArrays : public Theory { context::CDHashSet<TNode, TNodeHashFunction> d_sharedOther; context::CDO<bool> d_sharedTerms; context::CDList<TNode> d_reads; - context::CDHashSet<TNode, TNodeHashFunction> d_readsInternal; std::hash_map<TNode, Node, TNodeHashFunction> d_diseqCache; // The decision requests we have for the core |