Conditional include of missing headers under Z3

llvm · Mar 11, 2022 · e61a1a9 · e61a1a9
1 parent efec6b8
commit e61a1a9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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 {