fix typo in setup.py

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 9, 2024 · 00f1f1b · 00f1f1b
1 parent fe71b75
commit 00f1f1b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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):