From ccc4f2d382540b645c3ffdd4c9b0440d09121330 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 11 Apr 2023 05:10:03 -0700 Subject: [PATCH] fix #6682 --- src/api/python/z3/z3.py | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 7e7c58052..6b79dd1fe 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -3173,12 +3173,8 @@ def _to_int_str(val): return "1" else: return "0" - elif _is_int(val): + else: return str(val) - elif isinstance(val, str): - return val - if z3_debug(): - _z3_assert(False, "Python value cannot be used as a Z3 integer") def IntVal(val, ctx=None):