[llvm] efec6b8 - Conditional include of Twine.h under Z3

via llvm-commits llvm-commits at lists.llvm.org
Fri Mar 11 06:50:23 PST 2022


Author: serge-sans-paille
Date: 2022-03-11T15:48:06+01:00
New Revision: efec6b800f5609db46bae56026f55f41e2c036c1

URL: https://github.com/llvm/llvm-project/commit/efec6b800f5609db46bae56026f55f41e2c036c1
DIFF: https://github.com/llvm/llvm-project/commit/efec6b800f5609db46bae56026f55f41e2c036c1.diff

LOG: Conditional include of Twine.h under Z3

Added: 
    

Modified: 
    llvm/lib/Support/Z3Solver.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp
index 5e4e558894e0b..80ec6d445dfbc 100644
--- a/llvm/lib/Support/Z3Solver.cpp
+++ b/llvm/lib/Support/Z3Solver.cpp
@@ -13,6 +13,8 @@ using namespace llvm;
 
 #if LLVM_WITH_Z3
 
+#include "llvm/ADT/Twine.h"
+
 #include <z3.h>
 
 namespace {


        


More information about the llvm-commits mailing list