fixing warnings, grr

diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp
index 5ca1594ee78d2c77a63bfd7311476cf8ae595736..07eb69c26d571018b0cf5e3253ebdd104d6f0e6a 100644 (file)
--- a/src/theory/bv/theory_bv.cpp
+++ b/src/theory/bv/theory_bv.cpp
@@ -39,8 +39,8 @@ TheoryBV::TheoryBV(context::Context* c, context::UserContext* u, OutputChannel&
   : Theory(THEORY_BV, c, u, out, valuation, logicInfo),
     d_context(c),
     d_assertions(c),
-    d_bitblastQueue(c),
     d_bitblaster(new Bitblaster(c, this) ),
+    d_bitblastQueue(c),
     d_alreadyPropagatedSet(c),
     d_sharedTermsSet(c),
     d_statistics(),