diff options
Diffstat (limited to 'src/theory/term_registration_visitor.h')
| -rw-r--r-- | src/theory/term_registration_visitor.h | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/theory/term_registration_visitor.h b/src/theory/term_registration_visitor.h index 04200ed70..86ab160d8 100644 --- a/src/theory/term_registration_visitor.h +++ b/src/theory/term_registration_visitor.h @@ -43,8 +43,7 @@ class PreRegisterVisitor { /** The engine */ TheoryEngine* d_engine; - typedef context::CDHashMap<TNode, theory::TheoryIdSet, TNodeHashFunction> - TNodeToTheorySetMap; + typedef context::CDHashMap<TNode, theory::TheoryIdSet> TNodeToTheorySetMap; /** * Map from terms to the theories that have already had this term pre-registered. @@ -129,10 +128,8 @@ class PreRegisterVisitor { * been visited already, we need to visit it again, since we need to associate it with both atoms. */ class SharedTermsVisitor { - using TNodeVisitedMap = - std::unordered_map<TNode, theory::TheoryIdSet, TNodeHashFunction>; - using TNodeToTheorySetMap = - context::CDHashMap<TNode, theory::TheoryIdSet, TNodeHashFunction>; + using TNodeVisitedMap = std::unordered_map<TNode, theory::TheoryIdSet>; + using TNodeToTheorySetMap = context::CDHashMap<TNode, theory::TheoryIdSet>; /** * String representation of the visited map, for debugging purposes. */ |