From db2f973e3e406b0922d0244bdd67da816bb5e1ec Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 27 Nov 2015 15:34:06 +0000
Subject: [PATCH] Fixed initialization order in bvarray2uf_tactic

---
 src/tactic/bv/bvarray2uf_tactic.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tactic/bv/bvarray2uf_tactic.cpp b/src/tactic/bv/bvarray2uf_tactic.cpp
index 6bf1324f1..940cfa37d 100644
--- a/src/tactic/bv/bvarray2uf_tactic.cpp
+++ b/src/tactic/bv/bvarray2uf_tactic.cpp
@@ -42,9 +42,9 @@ class bvarray2uf_tactic : public tactic {
         imp(ast_manager & m, params_ref const & p) :
             m_manager(m),
             m_produce_models(false),
-            m_cancel(false),
             m_produce_proofs(false),
             m_produce_cores(false),
+            m_cancel(false),
             m_rw(m, p) {
             updt_params(p);
         }