From abcabba9fe41c952c1135b5874a3cbba7dbeb699 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 3 Feb 2021 09:57:16 -0800 Subject: [PATCH] fix python build --- src/api/python/z3/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index dba147779..16efc2f06 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1100,7 +1100,7 @@ def _coerce_expr_merge(s, a): if z3_debug(): _z3_assert(s1.ctx == s.ctx, "context mismatch") _z3_assert(False, "sort mismatch") - elif s: + elif s is not None: return s elif isinstance(a, str): return StringSort()