From 1b910c4ed29d0589db643e6382b66c16418d45e4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 24 Sep 2019 18:21:05 -0700 Subject: [PATCH] hash update 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 64b9b834f8f..ed24c8c7900 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1627,7 +1627,7 @@ def Implies(a, b, ctx=None): >>> Implies(p, q) Implies(p, q) >>> simplify(Implies(p, q)) - Or(q, Not(p)) + Or(Not(p), q) """ ctx = _get_ctx(_ctx_from_ast_arg_list([a, b], ctx)) s = BoolSort(ctx)