diff --git a/Project.toml b/Project.toml
index bff42d45..26182f22 100644
--- a/Project.toml
+++ b/Project.toml
@@ -19,7 +19,7 @@ ControllerFormats = "0.1 - 0.2"
 LazySets = "2.11.1"
 NeuralNetworkReachability = "0.1"
 Parameters = "0.12"
-ReachabilityAnalysis = "0.14.5 - 0.24"
+ReachabilityAnalysis = "0.14.5 - 0.25"
 ReachabilityBase = "0.2.1"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"
diff --git a/docs/Project.toml b/docs/Project.toml
index 46241a02..a9f7e146 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -13,5 +13,5 @@ DisplayAs = "0.1"
 Documenter = "1"
 Literate = "2"
 Plots = "1"
-ReachabilityAnalysis = "0.23.1 - 0.24"
+ReachabilityAnalysis = "0.23.1 - 0.25"
 ReachabilityBase = "0.2.3"