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 6c2b95a529d87c0b6ca8c18edb733c74194d79af..95f8e30931f5311e1ecbe4073424197cd49ad1e9 100644 (file)
--- 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;