diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-15 17:52:15 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-15 17:52:15 -0800 |
commit | f45bad0112192abb47cd350abdb5414e385c38b1 (patch) | |
tree | 527136b5b49a1b2600e5ac3d9c96790c496ce12a /src/theory/bv/bitblast/aig_bitblaster.cpp | |
parent | 585682fbc2b622bc62db80578b76adf52709c7c7 (diff) |
Remove staticrmStatic
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(), |