diff options
Diffstat (limited to 'src/expr/declaration_scope.h')
-rw-r--r-- | src/expr/declaration_scope.h | 10 |
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 { }; |