diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-25 23:14:26 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-25 23:14:26 +0100 |
commit | 6118403fa4315388946babd25be38a9524a5e2c5 (patch) | |
tree | f03266b3bac0c84e998472099976163d6feff247 /tools | |
parent | e677492eb2b0fd941ead0056ace903b895b5f3e9 (diff) | |
download | klee-6118403fa4315388946babd25be38a9524a5e2c5.tar.gz |
Rename macro
s/KLEE_INSTALL_LIB_DIR/KLEE_INSTALL_RUNTIME_DIR/ The new name is more accurrate.
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 { |