diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/util/ArrayExprHash.h | 3 | ||||
| -rw-r--r-- | include/klee/util/ExprHashMap.h | 3 |
2 files changed, 6 insertions, 0 deletions
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 |