diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 68f559635..9c19fa86d 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -3921,7 +3921,7 @@ class ArrayRef(ExprRef): return _to_expr_ref(Z3_mk_select(self.ctx_ref(), self.as_ast(), arg.as_ast()), self.ctx) def default(self): - return _to_expr_ref(Z3_mk_array_default(self.ctx_ref(), self.as_ast()), self.ctx) + return _to_expr_ref(Z3_mk_array_default(self.ctx_ref(), self.as_ast()), self.ctx) def is_array(a):