From 72143c66abd423a801f85d85939d7d0a90ae0eeb Mon Sep 17 00:00:00 2001
From: CompatHelper Julia <compathelper_noreply@julialang.org>
Date: Tue, 23 Sep 2025 01:44:01 +0000
Subject: [PATCH] CompatHelper: bump compat for TaylorModels to 0.9, (keep
 existing compat)

---
 Project.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Project.toml b/Project.toml
index e499b1514..67a47919d 100644
--- a/Project.toml
+++ b/Project.toml
@@ -27,7 +27,7 @@ TaylorSeries = "6aa5eb33-94cf-58f4-a9d0-e4b2c4fc25ea"
 CarlemanLinearization = "0.3 - 0.4"
 CommonSolve = "0.2"
 HybridSystems = "0.4"
-IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "0.16 - 0.20, =0.20.9"
 IntervalMatrices = "0.11"
 LazySets = "2.14, 3, 4, 5"
 LinearAlgebra = "<0.0.1, 1.6"
@@ -41,6 +41,6 @@ Requires = "0.5, 1"
 SparseArrays = "<0.0.1, 1.6"
 StaticArrays = "0.12, 1"
 TaylorIntegration = "0.15 - 0.16"
-TaylorModels = "0.7 - 0.8"
+TaylorModels = "0.7 - 0.8, 0.9"
 TaylorSeries = "0.17 - 0.18"
 julia = "1.6"