From 759811b30860c521e27e024e57758efe7786d8ce Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Sat, 1 Jun 2019 15:44:21 +0700
Subject: [PATCH] Fix -Wreorder warning.

---
 src/ast/ast.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 712e892c4..60d1a8c8a 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -738,13 +738,13 @@ basic_decl_plugin::basic_decl_plugin():
     m_iff_oeq_decl(nullptr),
     m_skolemize_decl(nullptr),
     m_mp_oeq_decl(nullptr),
-    m_hyper_res_decl0(nullptr),
     m_assumption_add_decl(nullptr),
     m_lemma_add_decl(nullptr),
     m_th_assumption_add_decl(nullptr),
     m_th_lemma_add_decl(nullptr),
     m_redundant_del_decl(nullptr),
-    m_clause_trail_decl(nullptr) {
+    m_clause_trail_decl(nullptr),
+    m_hyper_res_decl0(nullptr) {
 }
 
 bool basic_decl_plugin::check_proof_sorts(basic_op_kind k, unsigned arity, sort * const * domain) const {