From: yoni206 <yoni206@users.noreply.github.com>
Date: Wed, 9 May 2018 19:05:30 +0000 (-0700)
Subject: Reorder class members in bv-to-bool and bool-to-bv preprocessing passes. (#1893)
X-Git-Tag: cvc5-1.0.0~5071
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5adbae1d6aea06f60984c0a7b965f4ee24e5ea6c;p=cvc5.git

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 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