From 5adbae1d6aea06f60984c0a7b965f4ee24e5ea6c Mon Sep 17 00:00:00 2001
From: yoni206 <yoni206@users.noreply.github.com>
Date: Wed, 9 May 2018 12:05:30 -0700
Subject: [PATCH] Reorder class members in bv-to-bool and bool-to-bv
 preprocessing passes. (#1893)

---
 src/preprocessing/passes/bool_to_bv.h | 2 +-
 src/preprocessing/passes/bv_to_bool.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/preprocessing/passes/bool_to_bv.h b/src/preprocessing/passes/bool_to_bv.h
index e85693d1c..8a71413a2 100644
--- a/src/preprocessing/passes/bool_to_bv.h
+++ b/src/preprocessing/passes/bool_to_bv.h
@@ -52,10 +52,10 @@ class BoolToBV : public PreprocessingPass
   Node getLowerCache(TNode term) const;
   bool hasLowerCache(TNode term) const;
   Node lowerNode(TNode current, bool topLevel = false);
-  Statistics d_statistics;
   NodeNodeMap d_lowerCache;
   Node d_one;
   Node d_zero;
+  Statistics d_statistics;
 };  // class
 }  // namespace passes
 }  // namespace preprocessing
diff --git a/src/preprocessing/passes/bv_to_bool.h b/src/preprocessing/passes/bv_to_bool.h
index f772087e8..c04fd8699 100644
--- a/src/preprocessing/passes/bv_to_bool.h
+++ b/src/preprocessing/passes/bv_to_bool.h
@@ -65,11 +65,11 @@ class BVToBool : public PreprocessingPass
   void liftBvToBool(const std::vector<Node>& assertions,
                     std::vector<Node>& new_assertions);
 
-  Statistics d_statistics;
   NodeNodeMap d_liftCache;
   NodeNodeMap d_boolCache;
   Node d_one;
   Node d_zero;
+  Statistics d_statistics;
 };
 
 }  // namespace passes
-- 
2.30.2