From: Dejan Jovanović <dejan@cs.nyu.edu>
Date: Sat, 23 Mar 2013 04:27:42 +0000 (-0400)
Subject: changing string hash function to use the gnu namespace
X-Git-Tag: cvc5-1.0.0~7370^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=54b7a17226dd71f25b9f4b0f315ccdb53c1c0292;p=cvc5.git

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 4d4094143..913358512 100644
--- 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 */