diff options
Diffstat (limited to 'src/preprocessing/passes/bool_to_bv.cpp')
-rw-r--r-- | src/preprocessing/passes/bool_to_bv.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/preprocessing/passes/bool_to_bv.cpp b/src/preprocessing/passes/bool_to_bv.cpp index 7082f5553..a789a0d0b 100644 --- a/src/preprocessing/passes/bool_to_bv.cpp +++ b/src/preprocessing/passes/bool_to_bv.cpp @@ -144,7 +144,7 @@ Node BoolToBV::lowerNode(const TNode& node, bool allowIteIntroduction) { std::vector<TNode> to_visit; to_visit.push_back(node); - std::unordered_set<TNode, TNodeHashFunction> visited; + std::unordered_set<TNode> visited; while (!to_visit.empty()) { @@ -309,7 +309,7 @@ Node BoolToBV::lowerIte(const TNode& node) { std::vector<TNode> visit; visit.push_back(node); - std::unordered_set<TNode, TNodeHashFunction> visited; + std::unordered_set<TNode> visited; while (!visit.empty()) { |