From: Tim King <taking@cs.nyu.edu>
Date: Mon, 20 Nov 2017 13:19:30 +0000 (-0800)
Subject: Initializes members of QuantInfo. Resolves CID 1362929. (#1391)
X-Git-Tag: cvc5-1.0.0~5462
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a12827561bc070fb5c7fd9baf1320a6bf154bc2;p=cvc5.git

Initializes members of QuantInfo. Resolves CID 1362929. (#1391)
---

diff --git a/src/theory/quantifiers/quant_conflict_find.cpp b/src/theory/quantifiers/quant_conflict_find.cpp
index 442e3b230..9ed4e5996 100644
--- a/src/theory/quantifiers/quant_conflict_find.cpp
+++ b/src/theory/quantifiers/quant_conflict_find.cpp
@@ -33,9 +33,7 @@ namespace CVC4 {
 namespace theory {
 namespace quantifiers {
 
-QuantInfo::QuantInfo()
-    : d_mg( NULL )
-{}
+QuantInfo::QuantInfo() : d_mg(NULL), d_unassigned_nvar(0), d_una_index(0) {}
 
 QuantInfo::~QuantInfo() {
   delete d_mg;