diff options
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"); } |