From: Tim King <taking@google.com>
Date: Fri, 2 Dec 2016 22:52:48 +0000 (-0800)
Subject: Initializing the d_pivots variable.
X-Git-Tag: cvc5-1.0.0~5957
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c6a312021afba48138f3565c8b62212af0a91715;p=cvc5.git

Initializing the d_pivots variable.
---

diff --git a/src/theory/arith/simplex.cpp b/src/theory/arith/simplex.cpp
index a1ffe90b5..fecb06811 100644
--- 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);