Adding class Smt2 to handle declaration of logic and theory symbols

1 files changed, 1 insertions, 9 deletions

diff --git a/src/expr/declaration_scope.h b/src/expr/declaration_scope.h
index 7d0f2b787..e33aa25fa 100644
--- a/src/expr/declaration_scope.h
+++ b/src/expr/declaration_scope.h
@@ -15,6 +15,7 @@
 #define DECLARATION_SCOPE_H_
 
 #include "expr.h"
+#include "util/hash.h"
 
 #include <ext/hash_map>
 
@@ -31,15 +32,6 @@ class CDMap;
 
 } //namespace context
 
-/** A basic hash function for std::string
- * TODO: Does this belong somewhere else (like util/)?
- */
-struct StringHashFunction {
-  size_t operator()(const std::string& str) const {
-    return __gnu_cxx::hash<const char*>()(str.c_str());
-  }
-};
-
 class CVC4_PUBLIC ScopeException : public Exception {
 };