mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-27 05:26:01 +00:00
Code Activity

remove extra characters

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-08-24 14:36:23 -07:00
parent 438b41acbf
commit 867bc6aee6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/setup.py
View file

@ -65,7 +65,7 @@ else:
BUILD_ARCH = RELEASE_METADATA[1] BUILD_ARCH = RELEASE_METADATA[1]
if len(RELEASE_METADATA) == 4: if len(RELEASE_METADATA) == 4:
BUILD_OS_VERSION = RELEASE_METADATA[3].split(".") BUILD_OS_VERSION = RELEASE_METADATA[3].split(".")
else:v else:
BUILD_OS_VERSION = None BUILD_OS_VERSION = None
# determine where destinations are # determine where destinations are