diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-10 12:28:27 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-14 10:34:54 +0200 |
| commit | 60ebbf13d6b6d3522008a7b0553e5bfec1864c71 (patch) | |
| tree | 1db81241cda4f446e42fc5bf8772612d675c08ef /tools | |
| parent | 8382ea75c68696b76cafc03f00235f988277f9b0 (diff) | |
| download | klee-60ebbf13d6b6d3522008a7b0553e5bfec1864c71.tar.gz | |
Fix compilation under LLVM2.9. SmallString in this old version does
not have the equals() method.
Diffstat (limited to 'tools')
| -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 9af27ee3..f521e299 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -320,7 +320,7 @@ KleeHandler::KleeHandler(int argc, char **argv) if (errno != EEXIST) klee_error("cannot create \"%s\": %s", m_outputDirectory.c_str(), strerror(errno)); } - if (i == INT_MAX && m_outputDirectory.equals("")) + if (i == INT_MAX && m_outputDirectory.str().equals("")) klee_error("cannot create output directory: index out of range"); } |