diff options
Diffstat (limited to 'src/theory/bv/bitblast/lazy_bitblaster.h')
| -rw-r--r-- | src/theory/bv/bitblast/lazy_bitblaster.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/bv/bitblast/lazy_bitblaster.h b/src/theory/bv/bitblast/lazy_bitblaster.h index ac5cd5c7f..d2a497bdd 100644 --- a/src/theory/bv/bitblast/lazy_bitblaster.h +++ b/src/theory/bv/bitblast/lazy_bitblaster.h @@ -45,7 +45,8 @@ class TLazyBitblaster : public TBitblaster<Node> void storeBBTerm(TNode node, const Bits& bits) override; bool hasBBAtom(TNode atom) const override; - TLazyBitblaster(context::Context* c, + TLazyBitblaster(Environment* env, + context::Context* c, TheoryBV* bv, const std::string name = "", bool emptyNotify = false); |