From 0734c5f3f30df9b87258a9dd7910c3539cfa33a1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 15 Aug 2019 10:18:50 -0700 Subject: [PATCH] fix is-array-sort test again 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 e25146243..029eea3b4 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 Z3_get_sort_kind(a.ctx.ref(), Z3_get_sort(a.ctx.ref(), a.ast)) == Z3_ARRAY_SORT def is_const_array(a): """Return `True` if `a` is a Z3 constant array.