about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.h
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2014-09-14 16:38:54 -0700
committerDaniel Dunbar <daniel@zuster.org>2014-09-14 16:38:54 -0700
commitb18284f3354ff94051162478d20204ac40ed215d (patch)
tree5267e8f56d7a3e928b8202a964889c20d92ca164 /lib/Core/Executor.h
parent28076f1e1992efcc7231ee0763d8a8fad6734a14 (diff)
downloadklee-b18284f3354ff94051162478d20204ac40ed215d.tar.gz
[LLVM3.5] Ensure Twine definition is available from Executor.h.
Diffstat (limited to 'lib/Core/Executor.h')
-rw-r--r--lib/Core/Executor.h3
1 files changed, 3 insertions, 0 deletions
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>