Reorder class members in bv-to-bool and bool-to-bv preprocessing passes. (#1893)

diff --git a/src/preprocessing/passes/bool_to_bv.h b/src/preprocessing/passes/bool_to_bv.h
index e85693d1c5ab48790f7268f3245c99385bc00dfa..8a71413a2430e5204ca62c95c6ec0c99a3d12817 100644 (file)
--- 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 f772087e8d55fa808fd405bbc535e93fea9854b4..c04fd8699ab792c649dd4c05c788dcba7bd3d798 100644 (file)
--- 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