diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-24 00:25:26 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-24 00:25:26 -0700 |
commit | b9dacefddf04ce6ca1957082bbc341918ee69734 (patch) | |
tree | 8f887e41a643ccb6e2ece90e52333f4cac1d7e53 /src/theory/uf | |
parent | 252a8fb4323fed6eb621a4f88a06abfc39307b76 (diff) |
Fix memory leak in unit testfixMemLeak
PR #3062 changed `Smt2::setLogic()` to return a heap-allocated command,
which didn't get cleaned up by our `parser_black` unit test. This commit
fixes the memory leak.
Diffstat (limited to 'src/theory/uf')
0 files changed, 0 insertions, 0 deletions