From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 20 May 2021 18:50:50 +0000 (+0200)
Subject: Properly initialize. (#6586)
X-Git-Tag: cvc5-1.0.0~1721
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f63d4d559f4e6eacc1597808aae462acc72229b0;p=cvc5.git

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 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();