From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Tue, 15 May 2012 14:22:34 +0000 (+0000)
Subject: fixing warnings, grr
X-Git-Tag: cvc5-1.0.0~8178
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=174f9a65685b0268b20d42fc0ebbcd46ae98c905;p=cvc5.git

fixing warnings, grr
---

diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp
index 5ca1594ee..07eb69c26 100644
--- 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(),