diff options
Diffstat (limited to 'src/theory/quantifiers/candidate_rewrite_database.cpp')
-rw-r--r-- | src/theory/quantifiers/candidate_rewrite_database.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/quantifiers/candidate_rewrite_database.cpp b/src/theory/quantifiers/candidate_rewrite_database.cpp index dfc5efff7..789a723b9 100644 --- a/src/theory/quantifiers/candidate_rewrite_database.cpp +++ b/src/theory/quantifiers/candidate_rewrite_database.cpp @@ -83,8 +83,7 @@ Node CandidateRewriteDatabase::addTerm(Node sol, bool& rew_print) { // have we added this term before? - std::unordered_map<Node, Node, NodeHashFunction>::iterator itac = - d_add_term_cache.find(sol); + std::unordered_map<Node, Node>::iterator itac = d_add_term_cache.find(sol); if (itac != d_add_term_cache.end()) { return itac->second; |