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 97192183..aba247e7 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -594,7 +594,7 @@ std::string KleeHandler::getRunTimeLibraryPath(const char *argv0) { { KLEE_DEBUG_WITH_TYPE("klee_runtime", llvm::dbgs() << "Using installed KLEE library runtime: "); - libDir = KLEE_INSTALL_LIB_DIR ; + libDir = KLEE_INSTALL_RUNTIME_DIR ; } else { |