use LazySets hotfix

JuliaReach · Apr 11, 2024 · ed05eec · ed05eec
1 parent f455580
commit ed05eec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"