diff options
Diffstat (limited to 'lib/Support/Timer.cpp')
| -rw-r--r-- | lib/Support/Timer.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Support/Timer.cpp b/lib/Support/Timer.cpp index cddb0707..c51815aa 100644 --- a/lib/Support/Timer.cpp +++ b/lib/Support/Timer.cpp @@ -7,9 +7,14 @@ // //===----------------------------------------------------------------------===// +#include "klee/Config/config.h" #include "klee/Internal/Support/Timer.h" +#if (LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR < 9) #include "llvm/System/Process.h" +#else +#include "llvm/Support/Process.h" +#endif using namespace klee; using namespace llvm; |