diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-28 22:35:45 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-30 00:06:36 +0200 |
| commit | eaac527a2821c41aa88c8767fd0305f9d610fb23 (patch) | |
| tree | a3b45da7700f765408b1236eeefd4d1ec01e22bb /include | |
| parent | 48492cbfa729fe035b7b69b71b541cb67f8545df (diff) | |
| download | klee-eaac527a2821c41aa88c8767fd0305f9d610fb23.tar.gz | |
Fix ExprTest under LLVM 2.9
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index ae5bfd2b..c78cd690 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -298,10 +298,13 @@ inline llvm::raw_ostream &operator<<(llvm::raw_ostream &os, const Expr &e) { return os; } +// XXX the following macro is to work around the ExprTest unit test compile error +#ifndef LLVM_29_UNITTEST inline llvm::raw_ostream &operator<<(llvm::raw_ostream &os, const Expr::Kind kind) { Expr::printKind(os, kind); return os; } +#endif inline std::stringstream &operator<<(std::stringstream &os, const Expr &e) { std::string str; |