From 5dfc40bf50efbb8781a62cd33150271c90494286 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 21 Jun 2019 22:29:08 +0200 Subject: [PATCH] python regression 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 a7c0a099a..48da8ca3c 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1271,7 +1271,7 @@ def Distinct(*args): >>> simplify(Distinct(x, y, z)) Distinct(x, y, z) >>> simplify(Distinct(x, y, z), blast_distinct=True) - And(Not(y == x), Not(z == x), Not(z == y)) + And(Not(x == y), Not(z == x), Not(z == y)) """ args = _get_args(args) ctx = _ctx_from_ast_arg_list(args)