1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/bv/bitblast/eager_bitblaster.h b/src/theory/bv/bitblast/eager_bitblaster.h
index d407b8131..cc97f14ee 100644
--- a/src/theory/bv/bitblast/eager_bitblaster.h
+++ b/src/theory/bv/bitblast/eager_bitblaster.h
@@ -38,7 +38,9 @@ class TheoryBV;
 class EagerBitblaster : public TBitblaster<Node>
 {
  public:
-  EagerBitblaster(TheoryBV* theory_bv, context::Context* context);
+  EagerBitblaster(Environment* env,
+                  TheoryBV* theory_bv,
+                  context::Context* context);
   ~EagerBitblaster();
 
   void addAtom(TNode atom);