From 54b7a17226dd71f25b9f4b0f315ccdb53c1c0292 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan@cs.nyu.edu>
Date: Sat, 23 Mar 2013 00:27:42 -0400
Subject: [PATCH] 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

---
 src/util/hash.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 */
 
-- 
2.30.2