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

---
 lib/Basic/CmdLineOptions.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/Basic/CmdLineOptions.cpp')

diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index 80dc3c9d..2a58141e 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -43,12 +43,12 @@ cl::opt<bool> UseFastCexSolver(
     cl::cat(SolvingCat));
 
 cl::opt<bool> UseCexCache("use-cex-cache", cl::init(true),
-                          cl::desc("Use counterexample caching (default=true)"),
+                          cl::desc("Use the counterexample cache (default=true)"),
                           cl::cat(SolvingCat));
 
-cl::opt<bool> UseCache("use-cache", cl::init(true),
-                       cl::desc("Use validity caching (default=true)"),
-                       cl::cat(SolvingCat));
+cl::opt<bool> UseBranchCache("use-branch-cache", cl::init(true),
+                             cl::desc("Use the branch cache (default=true)"),
+                             cl::cat(SolvingCat));
 
 cl::opt<bool>
     UseIndependentSolver("use-independent-solver", cl::init(true),
-- 
cgit 1.4.1