From ac380d6f17450ec17227c4e2a043c9e2f7517dfd Mon Sep 17 00:00:00 2001
From: Nolwen <nolwen.huet@imacs.polytechnique.fr>
Date: Mon, 17 Jun 2024 14:19:30 +0200
Subject: [PATCH] Clean pyproject.toml

Duplicate dependencies have been merged.
---
 pyproject.toml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pyproject.toml b/pyproject.toml
index 9d0ea90a..6fb47cf3 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -46,11 +46,10 @@ dependencies = [
     "tqdm>=4.62.3",
     "sortedcontainers>=2.4",
     "deprecation",
-    "typing-extensions>=4.0",
+    "typing-extensions>=4.4",
     "cpmpy>=0.9.9",
     "scipy",
     "numpy>=1.21",
-    "typing_extensions>=4.4",
     "clingo>=5.6",
     "setuptools"
 ]