From f645f8d6853355e198903a4dae7fe3f36430a93b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 6 Sep 2019 09:14:44 +0300 Subject: [PATCH] fix #2537 Signed-off-by: Nikolaj Bjorner --- 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 3a1f3d5fe..f8df8f003 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -9988,7 +9988,7 @@ class SeqRef(ExprRef): def __getitem__(self, i): if _is_int(i): i = IntVal(i, self.ctx) - return SeqRef(Z3_mk_seq_nth(self.ctx_ref(), self.as_ast(), i.as_ast()), self.ctx) + return _to_expr_ref(Z3_mk_seq_nth(self.ctx_ref(), self.as_ast(), i.as_ast()), self.ctx) def at(self, i): if _is_int(i):