diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-08 11:19:32 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-09 10:31:16 +0100 |
| commit | bf287fa76dc82b4fc6cf2fae2cbe8e6134ee2479 (patch) | |
| tree | a9e91adab4312f5540307b03bf837b162e3d86c0 /include | |
| parent | dcea8bb90525bab566d01bd8c4134646f7cd0635 (diff) | |
| download | klee-bf287fa76dc82b4fc6cf2fae2cbe8e6134ee2479.tar.gz | |
Fix include files
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Internal/Support/Debug.h | 4 | ||||
| -rw-r--r-- | include/klee/Internal/System/Time.h | 2 |
2 files changed, 3 insertions, 3 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 { |