diff options
Diffstat (limited to 'lib/Basic/ConstructSolverChain.cpp')
| -rw-r--r-- | lib/Basic/ConstructSolverChain.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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) |