From be44ace995b0f653406d9e9867a183cbe657ea3c Mon Sep 17 00:00:00 2001 From: Frederick Robinson Date: Fri, 3 Feb 2023 13:08:35 -0800 Subject: [PATCH] fix typo (#6569) --- 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 5cb847230..92bb2aa24 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -9072,7 +9072,7 @@ def PbGe(args, k): def PbEq(args, k, ctx=None): - """Create a Pseudo-Boolean inequality k constraint. + """Create a Pseudo-Boolean equality k constraint. >>> a, b, c = Bools('a b c') >>> f = PbEq(((a,1),(b,3),(c,2)), 3)