diff options
Diffstat (limited to 'llvm/lib/Support/Z3Solver.cpp')
| -rw-r--r-- | llvm/lib/Support/Z3Solver.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp index 5a34ff160f6c..9aece099b062 100644 --- a/llvm/lib/Support/Z3Solver.cpp +++ b/llvm/lib/Support/Z3Solver.cpp @@ -19,6 +19,7 @@ using namespace llvm; #include "llvm/ADT/Twine.h" #include <set> +#include <unordered_map> #include <z3.h> |