From 30cffd2563e06eafb8cf66a40ed2252f62a13237 Mon Sep 17 00:00:00 2001
From: Dennis Luxen <dennisluxen@MacBook-Air.local>
Date: Wed, 28 Sep 2011 16:51:54 +0200
Subject: [PATCH] Fix build with GCC 4.2, thanks tolmaion

---
 DataStructures/HashTable.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/DataStructures/HashTable.h b/DataStructures/HashTable.h
index 090fb640a..e37993a1c 100644
--- a/DataStructures/HashTable.h
+++ b/DataStructures/HashTable.h
@@ -26,6 +26,18 @@ or see http://www.gnu.org/licenses/agpl.txt.
 
 #include <google/sparse_hash_map>
 
+#include <string>
+#include <ext/hash_map>
+
+namespace __gnu_cxx
+{
+    template<> struct hash<std::string> {
+        size_t operator()(const std::string& x) const {
+            return hash<const char*>()(x.c_str());
+        }
+    };
+}
+
 template<typename keyT, typename valueT>
 class HashTable {
     typedef google::sparse_hash_map<keyT, valueT> MyHashTable;