From 4defe9b6ab1811144c1e44402b7067ee441c0caa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Apr 2020 16:04:37 -0700
Subject: [PATCH] reorder

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/ufbv/ufbv_rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tactic/ufbv/ufbv_rewriter.cpp b/src/tactic/ufbv/ufbv_rewriter.cpp
index 59bfe5a86..938162df7 100644
--- a/src/tactic/ufbv/ufbv_rewriter.cpp
+++ b/src/tactic/ufbv/ufbv_rewriter.cpp
@@ -31,10 +31,10 @@ ufbv_rewriter::ufbv_rewriter(ast_manager & m):
     m_match_subst(m),
     m_bsimp(m),
     m_todo(m),
+    m_in_processed(m),
     m_new_args(m), 
     m_rewrite_todo(m),
     m_rewrite_cache(m),
-    m_in_processed(m),
     m_new_exprs(m) {
     params_ref p;
     p.set_bool("elim_and", true);