diff options
| -rw-r--r-- | src/cvc4.i | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 9e69212ae..bed988b32 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -69,10 +69,9 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; #ifdef SWIGPYTHON %pythonappend CVC4::SmtEngine::SmtEngine %{ - self.thisown = 0 -%} -%pythonappend CVC4::ExprManager::ExprManager %{ - self.thisown = 0 + # Hold a reference to the ExprManager to make sure that Python keeps the + # ExprManager alive as long as the SmtEngine exists + self.em = em %} #endif /* SWIGPYTHON */ |