diff --git a/docs/Project.toml b/docs/Project.toml
index 0d5dc1e9b..257bc210f 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -5,7 +5,6 @@ DocumenterCitations = "daee34ce-89f3-4625-b898-19384cb65244"
 Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"
 OrdinaryDiffEq = "1dea7af3-3e70-54e6-95c3-0bf5283fa5ed"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
-ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
 ReachabilityBase = "379f33d0-9447-4353-bd03-d664070e549f"
 
 [compat]
@@ -15,5 +14,4 @@ DocumenterCitations = "1.3"
 Literate = "2"
 OrdinaryDiffEq = "6"
 Plots = "1"
-ReachabilityAnalysis = "0.25 - 0.28"
 ReachabilityBase = "0.2.3 - 0.3"
diff --git a/models/SpacecraftDocking/SpacecraftDocking.jl b/models/SpacecraftDocking/SpacecraftDocking.jl
index e34b1c818..d1489cbe5 100644
--- a/models/SpacecraftDocking/SpacecraftDocking.jl
+++ b/models/SpacecraftDocking/SpacecraftDocking.jl
@@ -10,6 +10,7 @@ using ClosedLoopReachability
 import OrdinaryDiffEq, Plots, DisplayAs
 using ReachabilityBase.CurrentPath: @current_path
 using ReachabilityBase.Timing: print_timed
+using ClosedLoopReachability.ReachabilityAnalysis: IntervalBox
 using Plots: plot, plot!
 
 # ## Model