From bf287fa76dc82b4fc6cf2fae2cbe8e6134ee2479 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Tue, 8 May 2018 11:19:32 +0100 Subject: Fix include files --- include/klee/Internal/Support/Debug.h | 4 ++-- include/klee/Internal/System/Time.h | 2 +- lib/Module/KModule.cpp | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/include/klee/Internal/Support/Debug.h b/include/klee/Internal/Support/Debug.h index 8f46b93b..59a80409 100644 --- a/include/klee/Internal/Support/Debug.h +++ b/include/klee/Internal/Support/Debug.h @@ -10,8 +10,8 @@ #ifndef KLEE_INTERNAL_SUPPORT_DEBUG_H #define KLEE_INTERNAL_SUPPORT_DEBUG_H -#include -#include +#include "klee/Config/config.h" +#include "llvm/Support/Debug.h" // We define wrappers around the LLVM DEBUG macros that are conditionalized on // whether the LLVM we are building against has the symbols needed by these diff --git a/include/klee/Internal/System/Time.h b/include/klee/Internal/System/Time.h index 14d23536..220e260c 100644 --- a/include/klee/Internal/System/Time.h +++ b/include/klee/Internal/System/Time.h @@ -10,7 +10,7 @@ #ifndef KLEE_UTIL_TIME_H #define KLEE_UTIL_TIME_H -#include +#include "llvm/Support/TimeValue.h" namespace klee { namespace util { diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 0439431b..032929e8 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -41,7 +41,7 @@ #include "llvm/Support/Path.h" #include "llvm/Transforms/Scalar.h" -#include +#include "llvm/Transforms/Utils/Cloning.h" #include -- cgit 1.4.1