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/api | |
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/api')
0 files changed, 0 insertions, 0 deletions