mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Revert "Don't delete the reference to the native library in the python bindings"
This reverts commit 3339be6d22
.
This commit is contained in:
parent
7fb2c6a908
commit
591abead4b
|
@ -1704,6 +1704,7 @@ def write_exe_c_preamble(exe_c):
|
|||
def write_core_py_post(core_py):
|
||||
core_py.write("""
|
||||
# Clean up
|
||||
del _lib
|
||||
del _default_dirs
|
||||
del _all_dirs
|
||||
del _ext
|
||||
|
|
Loading…
Reference in a new issue