From 68663fd97a9bda48155de1bf087e303be256f1eb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Jul 2023 09:02:58 -0700 Subject: [PATCH] fix indentation for python file 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 e6e52dd79..20871d36e 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -11351,7 +11351,7 @@ def Range(lo, hi, ctx=None): """ lo = _coerce_seq(lo, ctx) hi = _coerce_seq(hi, ctx) - if z3_debug(): + if z3_debug(): _z3_assert(is_expr(lo), "expression expected") _z3_assert(is_expr(hi), "expression expected") return ReRef(Z3_mk_re_range(lo.ctx_ref(), lo.ast, hi.ast), lo.ctx) @@ -11359,7 +11359,7 @@ def Range(lo, hi, ctx=None): def Diff(a, b, ctx=None): """Create the difference regular expression """ - if z3_debug(): + if z3_debug(): _z3_assert(is_expr(a), "expression expected") _z3_assert(is_expr(b), "expression expected") return ReRef(Z3_mk_re_diff(a.ctx_ref(), a.ast, b.ast), a.ctx)