diff options
Diffstat (limited to 'src/theory/bv/bv_subtheory_bitblast.h')
-rw-r--r-- | src/theory/bv/bv_subtheory_bitblast.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/bv/bv_subtheory_bitblast.h b/src/theory/bv/bv_subtheory_bitblast.h index a3238ae61..903a5136e 100644 --- a/src/theory/bv/bv_subtheory_bitblast.h +++ b/src/theory/bv/bv_subtheory_bitblast.h @@ -41,7 +41,6 @@ class BitblastSolver : public SubtheorySolver IntStat d_numCallstoCheck; IntStat d_numBBLemmas; Statistics(); - ~Statistics(); }; /** Bitblaster */ std::unique_ptr<TLazyBitblaster> d_bitblaster; |