From eec550e645150a6b29719009e71ed048b7331e2a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 14 Aug 2019 21:59:53 -0700 Subject: [PATCH] fix python build break Signed-off-by: Nikolaj Bjorner --- 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 15f32358e..e25146243 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -4298,7 +4298,7 @@ def is_array(a): return isinstance(a, ArrayRef) def is_array_sort(a): - return _ast_kind(a.ctx(), a.sort()) == Z3_ARRAY_SORT + return _ast_kind(a.ctx, a.sort()) == Z3_ARRAY_SORT def is_const_array(a): """Return `True` if `a` is a Z3 constant array.