Conditional include of Twine.h under Z3

diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp
index 5e4e558..80ec6d4 100644 (file)
--- 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 {