From 60ebbf13d6b6d3522008a7b0553e5bfec1864c71 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 10 Apr 2014 12:28:27 +0100 Subject: Fix compilation under LLVM2.9. SmallString in this old version does not have the equals() method. --- tools/klee/main.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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"); } -- cgit 1.4.1