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, 0 insertions, 6 deletions

diff --git a/src/util/hash.h b/src/util/hash.h
index 6fb20dab0..2420b7acd 100644
--- a/src/util/hash.h
+++ b/src/util/hash.h
@@ -54,12 +54,6 @@ struct StringHashFunction {
   }
 };/* struct StringHashFunction */
 
-struct StringHashStrategy {
-  static size_t hash(const std::string& str) {
-    return std::hash<const char*>()(str.c_str());
-  }
-};/* struct StringHashStrategy */
-
 }/* CVC4 namespace */
 
 #endif /* __CVC4__HASH_H */