From 867bc6aee6c289bc3365f930e58e7609a857892c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 24 Aug 2025 14:36:23 -0700
Subject: [PATCH] remove extra characters

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index d4cc7215f..089cd65af 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -65,7 +65,7 @@ else:
     BUILD_ARCH = RELEASE_METADATA[1]
     if len(RELEASE_METADATA) == 4:
         BUILD_OS_VERSION = RELEASE_METADATA[3].split(".")
-    else:v
+    else:
         BUILD_OS_VERSION = None
 
 # determine where destinations are