diff --git a/test/Project.toml b/test/Project.toml index 1da1ffd..2f6683c 100644 --- a/test/Project.toml +++ b/test/Project.toml @@ -10,5 +10,5 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" Aqua = "0.8.9" EzXML = "1" HybridSystems = "0.4" -LazySets = "2.14" +LazySets = "2.14, 3" MathematicalSystems = "0.11, 0.12, 0.13"