From 1126134d15a293e0f7fceed881282b78ac8a37ef Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 15 Mar 2019 20:28:18 +0000
Subject: Renamed --use-cache to --use-branch-cache

---
 include/klee/SolverCmdLine.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/SolverCmdLine.h b/include/klee/SolverCmdLine.h
index 255b3848..8a0cc534 100644
--- a/include/klee/SolverCmdLine.h
+++ b/include/klee/SolverCmdLine.h
@@ -26,7 +26,7 @@ extern llvm::cl::opt<bool> UseFastCexSolver;
 
 extern llvm::cl::opt<bool> UseCexCache;
 
-extern llvm::cl::opt<bool> UseCache;
+extern llvm::cl::opt<bool> UseBranchCache;
 
 extern llvm::cl::opt<bool> UseIndependentSolver;
 
-- 
cgit 1.4.1