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.
cojocar · Dec 2, 2014 · d0f8c9e · d0f8c9e
1 parent 46abe43
commit d0f8c9e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -56,4 +56,7 @@ namespace klee {
 
 }
 
+#undef unordered_map
+#undef unordered_set
+
 #endif