From 7e716f7cfe75b7da51167b0c4545c3506760351c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 Dec 2023 13:12:05 -0800
Subject: [PATCH] try fix suggested in  #7041

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/pyproject.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml
index a9f2676a7..aa4c50adf 100644
--- a/src/api/python/pyproject.toml
+++ b/src/api/python/pyproject.toml
@@ -1,3 +1,6 @@
 [build-system]
 requires = ["setuptools>=46.4.0", "wheel", "cmake"]
 build-backend = "setuptools.build_meta"
+
+[project]
+dependencies = ["importlib-resources" ]
\ No newline at end of file