diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2020-12-10 01:10:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-09 16:10:36 -0800 |
| commit | cc6e04b4572180596ae25001d4a1b99884030a62 (patch) | |
| tree | 39a881a7e71491d57f92793f16abc597a565dce2 /src/prop | |
| parent | a11084e760f3ddf4e95e9aeabada3c3e66810a99 (diff) | |
Fixed a bunch of clang warnings. (#5637)
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/minisat/minisat.cpp | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/prop/minisat/minisat.cpp b/src/prop/minisat/minisat.cpp index fa31eb41c..aae347caf 100644 --- a/src/prop/minisat/minisat.cpp +++ b/src/prop/minisat/minisat.cpp @@ -271,16 +271,16 @@ MinisatSatSolver::Statistics::~Statistics() { d_registry->unregisterStat(&d_statTotLiterals); } -void MinisatSatSolver::Statistics::init(Minisat::SimpSolver* d_minisat){ - d_statStarts.setData(d_minisat->starts); - d_statDecisions.setData(d_minisat->decisions); - d_statRndDecisions.setData(d_minisat->rnd_decisions); - d_statPropagations.setData(d_minisat->propagations); - d_statConflicts.setData(d_minisat->conflicts); - d_statClausesLiterals.setData(d_minisat->clauses_literals); - d_statLearntsLiterals.setData(d_minisat->learnts_literals); - d_statMaxLiterals.setData(d_minisat->max_literals); - d_statTotLiterals.setData(d_minisat->tot_literals); +void MinisatSatSolver::Statistics::init(Minisat::SimpSolver* minisat){ + d_statStarts.setData(minisat->starts); + d_statDecisions.setData(minisat->decisions); + d_statRndDecisions.setData(minisat->rnd_decisions); + d_statPropagations.setData(minisat->propagations); + d_statConflicts.setData(minisat->conflicts); + d_statClausesLiterals.setData(minisat->clauses_literals); + d_statLearntsLiterals.setData(minisat->learnts_literals); + d_statMaxLiterals.setData(minisat->max_literals); + d_statTotLiterals.setData(minisat->tot_literals); } } /* namespace CVC4::prop */ |