CompatHelper: bump compat for LazySets to 3 for package test, (keep e…

…xisting compat)
JuliaReach · Nov 21, 2024 · c51a5b2 · c51a5b2
1 parent e938f65
commit c51a5b2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Project.toml b/test/Project.toml
@@ -21,8 +21,8 @@ Aqua = "0.8.9"
 CDDLib = "0.5 - 0.9"
 Expokit = "0.2"
 Flowstar = "0.2.4"
-IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
-LazySets = "2.3"
+IntervalArithmetic = "0.16 - 0.20, =0.20.9"
+LazySets = "2.3, 3"
 Optim = "0.15 - 0.22, 1"
 OrdinaryDiffEq = "6"
 Polyhedra = "0.5 - 0.7"