diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-05-21 15:12:44 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 15:54:24 +0100 |
| commit | c6cfd6d722089b1560fefbd5f97177c8117aadbd (patch) | |
| tree | 55ecd12a25195c1c916985624f77deaa30aa72e5 /include | |
| parent | a919c8649a26b85dba1eed147824e033333a408b (diff) | |
| download | klee-c6cfd6d722089b1560fefbd5f97177c8117aadbd.tar.gz | |
llvm6: SetVersionPrinter now passes down a stream
I.e. klee::printVersion should now have a parameter -- the output stream. Change both the prototype and the implementation to handle this properly. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
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 |