From ed05eec46e060a694751957ec46625fb5992239f Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Thu, 11 Apr 2024 17:37:56 +0200
Subject: [PATCH] use LazySets hotfix

---
 test/Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/Project.toml b/test/Project.toml
index 21dd1ad..dbe2a18 100755
--- a/test/Project.toml
+++ b/test/Project.toml
@@ -12,7 +12,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 Aqua = "0.8"
 CDDLib = "0.6 - 0.9"
 ControllerFormats = "0.2"
-LazySets = "2.11.1"
+LazySets = "2.12.1"
 Optim = "1"
 Polyhedra = "0.6 - 0.7"
 ReachabilityAnalysis = "0.22 - 0.25"