From f63d4d559f4e6eacc1597808aae462acc72229b0 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 20 May 2021 20:50:50 +0200
Subject: [PATCH] Properly initialize. (#6586)

This PR fixes a missing initialization that lead to a valgrind warning.
---
 src/prop/bvminisat/bvminisat.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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