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 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'include') 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 { -- cgit 1.4.1