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