diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-10-10 14:45:36 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-10 14:45:36 -0700 |
commit | b7d0c09bd12b9d0f46deab199714ce3441206d7f (patch) | |
tree | c894889a35ce3f5b446e9d160af88e74aeb4c63e /src/main/driver_unified.cpp | |
parent | 8c860213ca3a43e1fe483accb4b2b928ae14028e (diff) |
Fix memory leak in quantifiers engine (#1219)
Commit 96a0bc3b022b67b5ab79bf2ab087573c65a8d248 introduced a memory leak
where d_quant_attr was not deleted when the QuantifiersEngine was
destroyed. This commit fixes the issue by turning d_quant_attr into an
std::unique_ptr.
Diffstat (limited to 'src/main/driver_unified.cpp')
0 files changed, 0 insertions, 0 deletions