From ee03533c3ab517da1b91b4a4bacac7e2aaa1cef9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 19 Feb 2026 13:57:43 -0800 Subject: [PATCH] update examples to use arrays Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 904c7484b..9438af21f 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -5438,7 +5438,7 @@ def FiniteSetSubset(s1, s2): def FiniteSetMap(f, set): """Apply function f to all elements of the finite set. - >>> f = Function('f', IntSort(), IntSort()) + >>> f = Array('f', IntSort(), IntSort()) >>> a = Const('a', FiniteSetSort(IntSort())) >>> FiniteSetMap(f, a) set.map(f, a) @@ -5451,7 +5451,7 @@ def FiniteSetMap(f, set): def FiniteSetFilter(f, set): """Filter a finite set using predicate f. - >>> f = Function('f', IntSort(), BoolSort()) + >>> f = Array('f', IntSort(), BoolSort()) >>> a = Const('a', FiniteSetSort(IntSort())) >>> FiniteSetFilter(f, a) set.filter(f, a)