Conditional include of missing headers under Z3

2022-03-11 15:52:10 +01:00
parent efec6b800f
commit e61a1a9849
1 changed files with 3 additions and 0 deletions
--- a/llvm/lib/Support/Z3Solver.cpp
+++ b/llvm/lib/Support/Z3Solver.cpp
@@ -13,8 +13,11 @@ using namespace llvm;

 #if LLVM_WITH_Z3

+#include "llvm/ADT/SmalLString.h"
 #include "llvm/ADT/Twine.h"

+#include <set>
+
 #include <z3.h>

 namespace {