remove : from setup.py

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Oct 9, 2024 · fe71b75 · fe71b75
1 parent 5dc1b1a
commit fe71b75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
@@ -259,7 +259,7 @@ class bdist_wheel(_bdist_wheel):
 
     def remove_build_machine_os_version(self, platform, os_version_tag):
         if platform in ["osx", "darwin", "sequoia"]:
-            m = internal_build_re.search(os_version_tag):
+            m = internal_build_re.search(os_version_tag)
             if m:
                 return m.group(1)
         return os_version_tag