From 6f0b349b469afd866299ce8577dd9dfa22635204 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 13 Jan 2026 09:17:01 -0800 Subject: [PATCH] update python example Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 4dbc11b63..9ff21ae44 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -251,10 +251,7 @@ class Context: Example: >>> c = Context() - >>> c.set_ast_print_mode(Z3_PRINT_LOW_LEVEL) >>> x = Int('x', c) - >>> print(x) - (Int 0) >>> c.set_ast_print_mode(Z3_PRINT_SMTLIB2_COMPLIANT) >>> print(x) x