From: Tim King Date: Mon, 8 Jan 2018 03:14:57 +0000 (-0800) Subject: Re-ordering field initialization in QuantInfo to remove compiler warning. (#1487) X-Git-Tag: cvc5-1.0.0~5376 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4ca2baa6299115f0ef46f8580534a73d17a52b66;p=cvc5.git Re-ordering field initialization in QuantInfo to remove compiler warning. (#1487) --- diff --git a/src/theory/quantifiers/quant_conflict_find.cpp b/src/theory/quantifiers/quant_conflict_find.cpp index 6c2b95a52..95f8e3093 100644 --- a/src/theory/quantifiers/quant_conflict_find.cpp +++ b/src/theory/quantifiers/quant_conflict_find.cpp @@ -34,7 +34,7 @@ namespace CVC4 { namespace theory { namespace quantifiers { -QuantInfo::QuantInfo() : d_mg(NULL), d_unassigned_nvar(0), d_una_index(0) {} +QuantInfo::QuantInfo() : d_unassigned_nvar(0), d_mg(NULL), d_una_index(0) {} QuantInfo::~QuantInfo() { delete d_mg;