From 5fa5719c6fcd3d169d2714b78ad433a76e84ca20 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 28 Feb 2019 08:58:58 -0800 Subject: [PATCH] fix #2159 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 f8651ab90..2a3348ed9 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -10147,7 +10147,7 @@ def IndexOf(s, substr, offset): substr = _coerce_seq(substr, ctx) if _is_int(offset): offset = IntVal(offset, ctx) - return SeqRef(Z3_mk_seq_index(s.ctx_ref(), s.as_ast(), substr.as_ast(), offset.as_ast()), s.ctx) + return ArithRef(Z3_mk_seq_index(s.ctx_ref(), s.as_ast(), substr.as_ast(), offset.as_ast()), s.ctx) def Length(s): """Obtain the length of a sequence 's'