From f607331856df120dbe3bbb0652b7041e3a617e50 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 4 Apr 2025 22:14:32 -0700 Subject: [PATCH] type annotations across Python versions Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 6c61ea18c..e3762e188 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -129,7 +129,7 @@ def append_log(s): Z3_append_log(s) -def to_symbol(s : int | str, ctx = None): +def to_symbol(s, ctx = None): """Convert an integer or string into a Z3 symbol.""" if _is_int(s): return Z3_mk_int_symbol(_get_ctx(ctx).ref(), s) @@ -312,7 +312,7 @@ def set_option(*args, **kws): return set_param(*args, **kws) -def get_param(name : str) -> str: +def get_param(name): """Return the value of a Z3 global (or module) parameter >>> get_param('nlsat.reorder')