diff options
author | Andrew V. Jones <andrew.jones@vector.com> | 2020-06-19 04:16:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-18 20:16:34 -0700 |
commit | 3054cd99db968eb85a9195b12e17e83a334e00cb (patch) | |
tree | a57cdc3413ec428d80c956ccdbb2131aa6e10d93 /src/printer | |
parent | 7d16d25dc9c527848eddac8414db22fe63b38e59 (diff) |
Revert "[Python] Properly destroy CVC4 object (#3753)" (#4422)
This reverts commit bfa008a7ce13eff2f59b022e8c2d5d71d77f9ecb.
Diffstat (limited to 'src/printer')
0 files changed, 0 insertions, 0 deletions