mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix typo (#6628)

Browse source
This commit is contained in:
Declan Hwang 2023-03-10 02:29:30 +09:00 committed by GitHub
parent 1612b57e1a
commit cf4df08fd0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -11343,7 +11343,7 @@ def Range(lo, hi, ctx=None):
return ReRef(Z3_mk_re_range(lo.ctx_ref(), lo.ast, hi.ast), lo.ctx) return ReRef(Z3_mk_re_range(lo.ctx_ref(), lo.ast, hi.ast), lo.ctx)
def Diff(a, b, ctx=None): def Diff(a, b, ctx=None):
"""Create the difference regular epression """Create the difference regular expression
""" """
return ReRef(Z3_mk_re_diff(a.ctx_ref(), a.ast, b.ast), a.ctx) return ReRef(Z3_mk_re_diff(a.ctx_ref(), a.ast, b.ast), a.ctx)