From 4c468ccf90cf95ac105f690b14f7413691321fd4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 27 Jun 2025 02:36:31 +0000
Subject: [PATCH] Remove hardcoded version from pyproject.toml, use dynamic
 version from setup.py

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/python/pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml
index 09f6337e9..54c401c28 100644
--- a/src/api/python/pyproject.toml
+++ b/src/api/python/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "z3-solver"
-version = "4.15.3.0"
+dynamic = ["version"]
 description = "an efficient SMT solver library"
 readme = "README.txt"
 requires-python = ">=3.8"