From 174f9a65685b0268b20d42fc0ebbcd46ae98c905 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Tue, 15 May 2012 14:22:34 +0000
Subject: [PATCH] fixing warnings, grr

---
 src/theory/bv/theory_bv.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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(),
-- 
2.30.2