mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
add suspenders for #989
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
c8b5be48de
commit
b902018373
|
@ -321,6 +321,8 @@ def mk_py_wrappers():
|
|||
core_py.write("def %s(" % name)
|
||||
display_args(num)
|
||||
core_py.write("):\n")
|
||||
core_py.write(" if _lib is None:\n")
|
||||
core_py.write(" return\n")
|
||||
if result != VOID:
|
||||
core_py.write(" r = _lib.%s(" % name)
|
||||
else:
|
||||
|
|
Loading…
Reference in a new issue