diff options
Diffstat (limited to 'src/decision/assertion_list.cpp')
| -rw-r--r-- | src/decision/assertion_list.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/decision/assertion_list.cpp b/src/decision/assertion_list.cpp index 098378d22..28c285a8f 100644 --- a/src/decision/assertion_list.cpp +++ b/src/decision/assertion_list.cpp @@ -101,8 +101,7 @@ void AssertionList::notifyStatus(TNode n, DecisionStatus s) // no decision does not impact the decision order return; } - std::unordered_set<TNode, TNodeHashFunction>::iterator it = - d_dlistSet.find(n); + std::unordered_set<TNode>::iterator it = d_dlistSet.find(n); if (s == DecisionStatus::DECISION) { if (it == d_dlistSet.end()) |