diff options
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 { |