From af47aa0120302a19a6bb27b4d03011fa661104e0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 27 Jul 2017 12:32:44 -0700 Subject: [PATCH] updated suspenders for #989 Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index cbc4d9bbb..e97c32be8 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -321,7 +321,7 @@ 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(" if _lib.%s is None:\n" % name) core_py.write(" return\n") if result != VOID: core_py.write(" r = _lib.%s(" % name)