From 33985ebcf5487d04bd9bfc47e18fe737604fdf21 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 16 Feb 2022 19:14:54 +0200 Subject: [PATCH] update expected 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 34d586a93..727f289a1 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1771,7 +1771,7 @@ def Xor(a, b, ctx=None): >>> Xor(p, q) Xor(p, q) >>> simplify(Xor(p, q)) - Not(p) == q + Not(p == q) """ ctx = _get_ctx(_ctx_from_ast_arg_list([a, b], ctx)) s = BoolSort(ctx)