From c008c2c274fb56903a308d5173389a1b6946e912 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 4 Jan 2016 22:36:50 -0800 Subject: [PATCH] fix indentation error Signed-off-by: Nikolaj Bjorner --- src/api/python/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 1a9ef204b..695ee9632 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -3576,7 +3576,7 @@ def Concat(*args): if __debug__: _z3_assert(all([is_seq(a) for a in args]), "All arguments must be sequence expressions.") v = (Ast * sz)() - for i in range(sz): + for i in range(sz): v[i] = args[i].as_ast() return SeqRef(Z3_mk_seq_concat(ctx.ref(), sz, v), ctx)