From d0f8c9ee4140689043ff5857f5283f6b0d22cbdc Mon Sep 17 00:00:00 2001
From: Hristina Palikareva <h.palikareva@imperial.ac.uk>
Date: Tue, 2 Dec 2014 18:48:51 +0000
Subject: Unbreak compilation (in metaSMT configuration) by preventing the
 #define unordered_map and unordered_set from leaking out into other
 compilation units. This should be removed entirely when C++11 support lands.

---
 include/klee/util/ArrayExprHash.h | 3 +++
 include/klee/util/ExprHashMap.h   | 3 +++
 2 files changed, 6 insertions(+)

(limited to 'include')

diff --git a/include/klee/util/ArrayExprHash.h b/include/klee/util/ArrayExprHash.h
index 646ffd0c..da3b1d2b 100644
--- a/include/klee/util/ArrayExprHash.h
+++ b/include/klee/util/ArrayExprHash.h
@@ -140,4 +140,7 @@ void ArrayExprHash<T>::hashUpdateNodeExpr(const UpdateNode* un, T& exp)
 
 }
 
+#undef unordered_map
+#undef unordered_set
+
 #endif
diff --git a/include/klee/util/ExprHashMap.h b/include/klee/util/ExprHashMap.h
index 867ad001..88086e7c 100644
--- a/include/klee/util/ExprHashMap.h
+++ b/include/klee/util/ExprHashMap.h
@@ -56,4 +56,7 @@ namespace klee {
 
 }
 
+#undef unordered_map
+#undef unordered_set
+
 #endif
-- 
cgit 1.4.1