From 1126134d15a293e0f7fceed881282b78ac8a37ef Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 15 Mar 2019 20:28:18 +0000 Subject: Renamed --use-cache to --use-branch-cache --- lib/Basic/ConstructSolverChain.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Basic/ConstructSolverChain.cpp') diff --git a/lib/Basic/ConstructSolverChain.cpp b/lib/Basic/ConstructSolverChain.cpp index 5a51b8c5..39e0e824 100644 --- a/lib/Basic/ConstructSolverChain.cpp +++ b/lib/Basic/ConstructSolverChain.cpp @@ -47,7 +47,7 @@ Solver *constructSolverChain(Solver *coreSolver, if (UseCexCache) solver = createCexCachingSolver(solver); - if (UseCache) + if (UseBranchCache) solver = createCachingSolver(solver); if (UseIndependentSolver) -- cgit 1.4.1