about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2015-04-25 23:14:26 +0100
committerDan Liew <daniel.liew@imperial.ac.uk>2015-04-25 23:14:26 +0100
commit6118403fa4315388946babd25be38a9524a5e2c5 (patch)
treef03266b3bac0c84e998472099976163d6feff247 /tools
parente677492eb2b0fd941ead0056ace903b895b5f3e9 (diff)
downloadklee-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.cpp2
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
   {