From 4ca2baa6299115f0ef46f8580534a73d17a52b66 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Sun, 7 Jan 2018 19:14:57 -0800
Subject: [PATCH] Re-ordering field initialization in QuantInfo to remove
 compiler warning. (#1487)

---
 src/theory/quantifiers/quant_conflict_find.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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