allow Symbolics v6 in tests and docs

JuliaReach · Sep 10, 2024 · 6183257 · 6183257
1 parent a1f1aa7
commit 6183257
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
@@ -26,4 +26,4 @@ MathematicalSystems = "0.11 - 0.13"
 OrdinaryDiffEq = "6"
 Plots = "1"
 ReachabilityBase = "0.2.3 - 0.3"
-Symbolics = "5"
+Symbolics = "5 - 6"
diff --git a/test/Project.toml b/test/Project.toml
@@ -28,5 +28,5 @@ OrdinaryDiffEq = "6"
 Polyhedra = "0.5 - 0.7"
 StaticArrays = "0.12, 1"
 Suppressor = "0.2"
-Symbolics = "4 - 5"
+Symbolics = "4 - 6"
 TaylorModels = "0.7"