diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-03-09 13:26:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-09 13:26:14 -0800 |
commit | c93aa9c154b51220607e0eda46109cf509b96a34 (patch) | |
tree | b329dcfe7f96090da5b59cc01bc752cb2b12649a /contrib/get-cryptominisat4 | |
parent | f828b812055e92e9e7777ae01c6af9ca2c9d673d (diff) |
Printers are now managed as unique_ptr (fix mem leak). (#1654)
Diffstat (limited to 'contrib/get-cryptominisat4')
0 files changed, 0 insertions, 0 deletions