From efec6b800f5609db46bae56026f55f41e2c036c1 Mon Sep 17 00:00:00 2001
From: serge-sans-paille <sguelton@redhat.com>
Date: Fri, 11 Mar 2022 15:48:06 +0100
Subject: [PATCH] Conditional include of Twine.h under Z3

---
 llvm/lib/Support/Z3Solver.cpp | 2 ++
 1 file changed, 2 insertions(+)

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