diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-09-25 11:17:19 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-09-25 11:17:19 +0100 |
| commit | 0c8c812db1d331f1e49e27ccd35f1288e58d97e6 (patch) | |
| tree | 1cc5d0db69b22e16d14381d40321978ff62efebd | |
| parent | 547dd6fbf929d769b7a9a38c152bfb315d7a25a0 (diff) | |
| download | klee-0c8c812db1d331f1e49e27ccd35f1288e58d97e6.tar.gz | |
Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), not 3.0."
| -rw-r--r-- | tools/klee/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index fce4e317..a92aa559 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -379,7 +379,7 @@ llvm::raw_fd_ostream *KleeHandler::openOutputFile(const std::string &filename) { std::string path = getOutputFilename(filename); #if LLVM_VERSION_CODE >= LLVM_VERSION(3,5) f = new llvm::raw_fd_ostream(path.c_str(), Error, llvm::sys::fs::F_None); -#elif LLVM_VERSION_CODE >= LLVM_VERSION(3,0) +#elif LLVM_VERSION_CODE >= LLVM_VERSION(3,4) f = new llvm::raw_fd_ostream(path.c_str(), Error, llvm::sys::fs::F_Binary); #else f = new llvm::raw_fd_ostream(path.c_str(), Error, llvm::raw_fd_ostream::F_Binary); |