Some items from the CVC4 public interface review:

* rename DeclarationScope to SymbolTable
* rename all HashStrategy -> HashFunction (which we often have anyways)
* remove CDCircList (no one is currently using it)

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);
 }