[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