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 | |
| parent | 7d16d25dc9c527848eddac8414db22fe63b38e59 (diff) | |
Revert "[Python] Properly destroy CVC4 object (#3753)" (#4422)
This reverts commit bfa008a7ce13eff2f59b022e8c2d5d71d77f9ecb.
Diffstat (limited to 'src')
| -rw-r--r-- | src/cvc4.i | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index f62611e8f..4fc0b092a 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -52,9 +52,10 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; #ifdef SWIGPYTHON %pythonappend CVC4::SmtEngine::SmtEngine %{ - # Hold a reference to the ExprManager to make sure that Python keeps the - # ExprManager alive as long as the SmtEngine exists - self.em = em + self.thisown = 0 +%} +%pythonappend CVC4::ExprManager::ExprManager %{ + self.thisown = 0 %} #endif /* SWIGPYTHON */ |