remove Simplify rewrite resulting in flaky build breaks

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 25, 2019 · 2a1f05e · 2a1f05e
1 parent 20feecc
commit 2a1f05e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -1624,8 +1624,6 @@ def Implies(a, b, ctx=None):
     >>> p, q = Bools('p q')
     >>> Implies(p, q)
     Implies(p, q)
-    >>> simplify(Implies(p, q))
-    Or(q, Not(p))
     """
     ctx = _get_ctx(_ctx_from_ast_arg_list([a, b], ctx))
     s = BoolSort(ctx)