mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

try without format

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-02-09 12:49:55 -08:00
parent e722589810
commit 692f159af8
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/api/python/z3/z3util.py
View file

@ -179,7 +179,8 @@ def mk_var(name, vsort):
elif vsort.kind() == Z3_DATATYPE_SORT: elif vsort.kind() == Z3_DATATYPE_SORT:
v = Const(name, vsort) v = Const(name, vsort)
else: else:
raise TypeError(f"Cannot handle this sort (s: {vsort}id: {vsort.kind()})") raise TypeError('Cannot handle this sort (s: %sid: %d)' %(vsort,vsort.kind()))
return v return v