From 6118403fa4315388946babd25be38a9524a5e2c5 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 25 Apr 2015 23:14:26 +0100
Subject: Rename macro

s/KLEE_INSTALL_LIB_DIR/KLEE_INSTALL_RUNTIME_DIR/

The new name is more accurrate.
---
 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 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
   {
-- 
cgit 1.4.1