From 61832573fcca78372b4c4d55438cac69ab4dc235 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Tue, 10 Sep 2024 21:12:22 +0200
Subject: [PATCH] allow Symbolics v6 in tests and docs

---
 docs/Project.toml | 2 +-
 test/Project.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/Project.toml b/docs/Project.toml
index ef370f7d8..7c0310280 100644
--- 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
index 70ce27795..19efd7a84 100644
--- 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"