diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Internal/Support/PrintVersion.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/klee/Internal/Support/PrintVersion.h b/include/klee/Internal/Support/PrintVersion.h index 2c375ad2..87f73a00 100644 --- a/include/klee/Internal/Support/PrintVersion.h +++ b/include/klee/Internal/Support/PrintVersion.h @@ -10,8 +10,16 @@ #ifndef KLEE_PRINT_VERSION_H #define KLEE_PRINT_VERSION_H +#include "llvm/Support/raw_ostream.h" + +#include "klee/Config/Version.h" + namespace klee { +#if LLVM_VERSION_CODE >= LLVM_VERSION(6, 0) + void printVersion(llvm::raw_ostream &OS); +#else void printVersion(); +#endif } #endif |