From 870f2d6aac35457e7524078a4b4a8b011f84c45c Mon Sep 17 00:00:00 2001 From: Richard Trembecký Date: Thu, 28 Apr 2016 18:27:24 +0200 Subject: llvm: make KLEE compile against LLVM 3.7 Signed-off-by: Jiri Slaby --- tools/klee/main.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'tools') diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 44bc5407..ab9dfe28 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -35,6 +35,7 @@ #include "llvm/Support/CommandLine.h" #include "llvm/Support/ManagedStatic.h" #include "llvm/Support/MemoryBuffer.h" +#include "llvm/Support/Path.h" #include "llvm/Support/raw_ostream.h" #include "llvm/Support/TargetSelect.h" -- cgit 1.4.1