diff options
Diffstat (limited to 'src/theory/strings/extf_solver.cpp')
-rw-r--r-- | src/theory/strings/extf_solver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/extf_solver.cpp b/src/theory/strings/extf_solver.cpp index e00668997..a1de5e295 100644 --- a/src/theory/strings/extf_solver.cpp +++ b/src/theory/strings/extf_solver.cpp @@ -251,7 +251,7 @@ void ExtfSolver::checkExtfEval(int effort) bool has_nreduce = false; std::vector<Node> terms = d_extt.getActive(); // the set of terms we have done extf inferences for - std::unordered_set<Node, NodeHashFunction> inferProcessed; + std::unordered_set<Node> inferProcessed; for (const Node& n : terms) { // Setup information about n, including if it is equal to a constant. |