fix #6682

Z3Prover · Apr 11, 2023 · ccc4f2d · ccc4f2d
1 parent 368d60f
commit ccc4f2d
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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):