From cf4df08fd079d6a93a1ed679e9217c5ff07f9d77 Mon Sep 17 00:00:00 2001 From: Declan Hwang Date: Fri, 10 Mar 2023 02:29:30 +0900 Subject: [PATCH] fix typo (#6628) --- 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 92bb2aa24..7e7c58052 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -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) 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)