From fe71b75ffdaaa775b8ff931b3d411aee7dcc13ff Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 9 Oct 2024 13:21:27 -0700 Subject: [PATCH] remove : from setup.py Signed-off-by: Nikolaj Bjorner --- 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 616686f2c..bcf55a76d 100644 --- 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