From 00f1f1b83da7c583d0290280b1b3bbb6097a6be8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 9 Oct 2024 14:19:10 -0700 Subject: [PATCH] fix typo in 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 bcf55a76d4..aac6d9943d 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -253,7 +253,7 @@ def run(self): # The Azure Dev Ops pipelines use internal OS version tagging that don't correspond # to releases. -internal_build_re = re.compile("((.+)\_7") +internal_build_re = re.compile("(.+)\_7") class bdist_wheel(_bdist_wheel):