1 files changed, 18 insertions, 7 deletions
diff --git a/include/klee/util/ExprHashMap.h b/include/klee/util/ExprHashMap.h
index d2e6cb1a..867ad001 100644
--- a/include/klee/util/ExprHashMap.h
+++ b/include/klee/util/ExprHashMap.h
@@ -11,8 +11,19 @@
 #define KLEE_EXPRHASHMAP_H
 
 #include "klee/Expr.h"
+
+#include <ciso646>
+#ifdef _LIBCPP_VERSION
+#include <unordered_map>
+#include <unordered_set>
+#define unordered_map std::unordered_map
+#define unordered_set std::unordered_set
+#else
 #include <tr1/unordered_map>
 #include <tr1/unordered_set>
+#define unordered_map std::tr1::unordered_map
+#define unordered_set std::tr1::unordered_set
+#endif
 
 namespace klee {
 
@@ -33,15 +44,15 @@ namespace klee {
   template<class T> 
   class ExprHashMap : 
 
-    public std::tr1::unordered_map<ref<Expr>,
-				   T,
-				   klee::util::ExprHash,
-				   klee::util::ExprCmp> {
+    public unordered_map<ref<Expr>,
+                         T,
+                         klee::util::ExprHash,
+                         klee::util::ExprCmp> {
   };
   
-  typedef std::tr1::unordered_set<ref<Expr>,
-				  klee::util::ExprHash,
-				  klee::util::ExprCmp> ExprHashSet;
+  typedef unordered_set<ref<Expr>,
+                        klee::util::ExprHash,
+                        klee::util::ExprCmp> ExprHashSet;
 
 }