From b90201837382b1faa7579d42192491df09706443 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Jul 2017 11:56:01 -0700
Subject: [PATCH] add suspenders for #989

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/update_api.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/update_api.py b/scripts/update_api.py
index 1567a03fa..cbc4d9bbb 100755
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -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: