mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

[z3.py] Fix incorrect call to _get_ctx in SeqMapI (#7610)

Browse source
This commit is contained in:
Ammar Askar 2025-04-04 15:54:32 -07:00 • committed by GitHub
parent 8d81a2dcaf
commit eb4e28d5d4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/z3/z3.py
View file

@ -11341,7 +11341,7 @@ def SeqMap(f, s):
def SeqMapI(f, i, s):
"""Map function 'f' over sequence 's' at index 'i'"""
ctx = _get_ctx(f, s)
ctx = _get_ctx2(f, s)
s = _coerce_seq(s, ctx)
if not is_expr(i):
i = _py2expr(i)