about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.cpp
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 /lib/Core/Executor.cpp
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 'lib/Core/Executor.cpp')
0 files changed, 0 insertions, 0 deletions