changing string hash function to use the gnu namespace

due to namesapce resolution std namespace was used instead, which hashes the string pointers leading to mayhem

diff --git a/src/util/hash.h b/src/util/hash.h
index 4d4094143d6386da173d2e2d5bffab171fa49b18..913358512cc402f3933622c3c5a5d7bead7405ac 100644 (file)
--- a/src/util/hash.h
+++ b/src/util/hash.h
@@ -48,7 +48,7 @@ namespace CVC4 {
 
 struct StringHashFunction {
   size_t operator()(const std::string& str) const {
-    return std::hash<const char*>()(str.c_str());
+    return __gnu_cxx::hash<const char*>()(str.c_str());
   }
 };/* struct StringHashFunction */