diff options
| -rw-r--r-- | include/klee/Internal/Support/Debug.h | 4 | ||||
| -rw-r--r-- | include/klee/Internal/System/Time.h | 2 | ||||
| -rw-r--r-- | 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 <klee/Config/config.h> -#include <llvm/Support/Debug.h> +#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 <llvm/Support/TimeValue.h> +#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 <llvm/Transforms/Utils/Cloning.h> +#include "llvm/Transforms/Utils/Cloning.h" #include <sstream> |