From c57c6e564f749800f2da3ed93970e7280b0a04b2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 14 Jul 2026 13:51:29 -0700 Subject: [PATCH] fix doc build --- 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 c8574f5606..c3d9ee34d6 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -6742,7 +6742,7 @@ class AstMap: >>> M[x] = x + 1 >>> M[x+x] = IntVal(1) >>> M.keys() - [x, x + x] + [x + x, x] """ return AstVector(Z3_ast_map_keys(self.ctx.ref(), self.map), self.ctx) @@ -7192,7 +7192,7 @@ class ModelRef(Z3PPObject): sat >>> m = s.model() >>> m.get_universe(A) - [A!val!1, A!val!0] + [A!val!0, A!val!1] """ if z3_debug(): _z3_assert(isinstance(s, SortRef), "Z3 sort expected")