Initializing the d_pivots variable.

diff --git a/src/theory/arith/simplex.cpp b/src/theory/arith/simplex.cpp
index a1ffe90b546b74a56febd14327d91ccf06fc635d..fecb06811634914982d93dec6c762ab86968c765 100644 (file)
--- a/src/theory/arith/simplex.cpp
+++ b/src/theory/arith/simplex.cpp
@@ -43,6 +43,7 @@ SimplexDecisionProcedure::SimplexDecisionProcedure(LinearEqualityModule& linEq,
   , d_zero(0)
   , d_posOne(1)
   , d_negOne(-1)
+  , d_pivots(0)
 {
   d_heuristicRule = options::arithErrorSelectionRule();
   d_errorSet.setSelectionRule(d_heuristicRule);