diff options
Diffstat (limited to 'src/util/predicate.cpp')
| -rw-r--r-- | src/util/predicate.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/predicate.cpp b/src/util/predicate.cpp index 1868f557d..748e818c3 100644 --- a/src/util/predicate.cpp +++ b/src/util/predicate.cpp @@ -49,7 +49,7 @@ operator<<(std::ostream& out, const Predicate& p) { return out; } -size_t PredicateHashStrategy::hash(const Predicate& p) { +size_t PredicateHashFunction::operator()(const Predicate& p) const { ExprHashFunction h; return h(p.d_witness) * 5039 + h(p.d_predicate); } |