Properly initialize. (#6586)

This PR fixes a missing initialization that lead to a valgrind warning.

diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index 6ec43025e2f83addbff9fa4c41af139052849fc2..3bfb2d93c0256bd9699983479799b4953be0edf7 100644 (file)
--- 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();