From: Andrew V. Jones <andrew.jones@vector.com>
Date: Fri, 19 Jun 2020 03:16:34 +0000 (+0100)
Subject: Revert "[Python] Properly destroy CVC4 object (#3753)" (#4422)
X-Git-Tag: cvc5-1.0.0~3203
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3054cd99db968eb85a9195b12e17e83a334e00cb;p=cvc5.git

Revert "[Python] Properly destroy CVC4 object (#3753)" (#4422)

This reverts commit bfa008a7ce13eff2f59b022e8c2d5d71d77f9ecb.
---

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