From b18284f3354ff94051162478d20204ac40ed215d Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 14 Sep 2014 16:38:54 -0700
Subject: [LLVM3.5] Ensure Twine definition is available from Executor.h.

---
 lib/Core/Executor.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/Core')

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 688dad21..523b3648 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -20,6 +20,9 @@
 #include "klee/Internal/Module/Cell.h"
 #include "klee/Internal/Module/KInstruction.h"
 #include "klee/Internal/Module/KModule.h"
+
+#include "llvm/ADT/Twine.h"
+
 #include <vector>
 #include <string>
 #include <map>
-- 
cgit 1.4.1