diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-05-20 20:50:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-20 18:50:50 +0000 |
| commit | f63d4d559f4e6eacc1597808aae462acc72229b0 (patch) | |
| tree | a1b9013ad8767d3b8a9279105408db243473a658 /src/prop/bvminisat/bvminisat.h | |
| parent | a0644780130dd0ed86a9486e29aa326b3fe5d804 (diff) | |
Properly initialize. (#6586)
This PR fixes a missing initialization that lead to a valgrind warning.
Diffstat (limited to 'src/prop/bvminisat/bvminisat.h')
| -rw-r--r-- | src/prop/bvminisat/bvminisat.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h index 6ec43025e..3bfb2d93c 100644 --- a/src/prop/bvminisat/bvminisat.h +++ b/src/prop/bvminisat/bvminisat.h @@ -138,7 +138,7 @@ public: ReferenceStat<int64_t> d_statEliminatedVars; IntStat d_statCallsToSolve; TimerStat d_statSolveTime; - bool d_registerStats; + bool d_registerStats = true; Statistics(StatisticsRegistry& registry, const std::string& prefix); void init(BVMinisat::SimpSolver* minisat); void deinit(); |