diff options
Diffstat (limited to 'src/preprocessing/util/ite_utilities.cpp')
| -rw-r--r-- | src/preprocessing/util/ite_utilities.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/preprocessing/util/ite_utilities.cpp b/src/preprocessing/util/ite_utilities.cpp index 833fa59b9..3e1b3659a 100644 --- a/src/preprocessing/util/ite_utilities.cpp +++ b/src/preprocessing/util/ite_utilities.cpp @@ -1264,7 +1264,7 @@ bool ITESimplifier::leavesAreConst(TNode e, theory::TheoryId tid) return true; } - unordered_map<Node, bool, NodeHashFunction>::iterator it; + unordered_map<Node, bool>::iterator it; it = d_leavesConstCache.find(e); if (it != d_leavesConstCache.end()) { @@ -1358,7 +1358,7 @@ Node ITESimplifier::simpConstants(TNode simpContext, Node ITESimplifier::getSimpVar(TypeNode t) { - std::unordered_map<TypeNode, Node, TypeNode::HashFunction>::iterator it; + std::unordered_map<TypeNode, Node>::iterator it; it = d_simpVars.find(t); if (it != d_simpVars.end()) { @@ -1424,7 +1424,7 @@ Node ITESimplifier::createSimpContext(TNode c, Node& iteNode, Node& simpVar) d_simpContextCache[c] = result; return result; } -typedef std::unordered_set<Node, NodeHashFunction> NodeSet; +typedef std::unordered_set<Node> NodeSet; void countReachable_(Node x, Kind k, NodeSet& visited, uint32_t& reached) { if (visited.find(x) != visited.end()) |