diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-27 16:19:34 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 16:19:34 -0700 |
| commit | a442b02d9a695a04f12d58fee71f7e1afbfa1473 (patch) | |
| tree | ca5d581553a825431a0508a729cd2fdff21680a3 /src/theory/bv/bv_quick_check.h | |
| parent | ed7bc3afb8c6ee663b3d535674513c7ff4376050 (diff) | |
Use std:unique_ptr instead of raw pointers in theory/bv. (#2385)
This should also fix CIDs 1465687, 1465695, 1465696, and 1465701.
Diffstat (limited to 'src/theory/bv/bv_quick_check.h')
| -rw-r--r-- | src/theory/bv/bv_quick_check.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/bv_quick_check.h b/src/theory/bv/bv_quick_check.h index ec4eb9f4f..b2c31edcb 100644 --- a/src/theory/bv/bv_quick_check.h +++ b/src/theory/bv/bv_quick_check.h @@ -40,7 +40,7 @@ class TheoryBV; class BVQuickCheck { context::Context d_ctx; - TLazyBitblaster* d_bitblaster; + std::unique_ptr<TLazyBitblaster> d_bitblaster; Node d_conflict; context::CDO<bool> d_inConflict; void setConflict(); |