From 0a0b0a5cc016d37eeb1111ce9b0d05d93b8a25ba Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 24 Mar 2019 13:22:35 -0700 Subject: [PATCH] fix python doc regressions 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 173119011..e3995ddb5 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -10066,7 +10066,7 @@ def Full(s): """Create the regular expression that accepts the universal language >>> e = Full(ReSort(SeqSort(IntSort()))) >>> print(e) - Full(ReSort(Int)) + Full(ReSort(Seq(Int))) >>> e1 = Full(ReSort(StringSort())) >>> print(e1) Full(ReSort(String))