allow CDDLib v0.10 in tests/docs

JuliaReach · Jan 20, 2025 · 914acd4 · 914acd4
1 parent bbbfc69
commit 914acd4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -21,7 +21,7 @@ TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"
 [compat]
 AbstractTrees = "0.4"
 BenchmarkTools = "1"
-CDDLib = "0.9"
+CDDLib = "0.9 - 0.10"
 Distributions = "0.25"
 Documenter = "1"
 ExponentialUtilities = "1"

diff --git a/test/Project.toml b/test/Project.toml
@@ -32,7 +32,7 @@ WriteVTK = "64499a7a-5c06-52f2-abe2-ccb03c286192"
 
 [compat]
 Aqua = "0.8.9"
-CDDLib = "0.6 - 0.9"
+CDDLib = "0.6 - 0.10"
 Distributions = "0.19 - 0.25"
 Expokit = "0.2"
 ExponentialUtilities = "1"