mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Don't delete the reference to the native library in the python bindings
This commit is contained in:
parent
c5df6ce96e
commit
3339be6d22
|
@ -1704,7 +1704,6 @@ 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