diff options
| -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 */ |