From c6a312021afba48138f3565c8b62212af0a91715 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Fri, 2 Dec 2016 14:52:48 -0800
Subject: [PATCH] Initializing the d_pivots variable.

---
 src/theory/arith/simplex.cpp | 1 +
 1 file changed, 1 insertion(+)

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