diff options
Diffstat (limited to 'src/theory/bv/bitblast/aig_bitblaster.cpp')
| -rw-r--r-- | src/theory/bv/bitblast/aig_bitblaster.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/bitblast/aig_bitblaster.cpp b/src/theory/bv/bitblast/aig_bitblaster.cpp index c2bc9e6e8..c86b6888d 100644 --- a/src/theory/bv/bitblast/aig_bitblaster.cpp +++ b/src/theory/bv/bitblast/aig_bitblaster.cpp @@ -135,8 +135,8 @@ Abc_Aig_t* AigBitblaster::currentAigM() { return (Abc_Aig_t*)(currentAigNtk()->pManFunc); } -AigBitblaster::AigBitblaster() - : TBitblaster<Abc_Obj_t*>(), +AigBitblaster::AigBitblaster(Environment* env) + : TBitblaster<Abc_Obj_t*>(env), d_nullContext(new context::Context()), d_aigCache(), d_bbAtoms(), |