diff --git a/Project.toml b/Project.toml index d77ea3c92..433e8491a 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "ReachabilityAnalysis" uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f" -version = "0.23.0" +version = "0.23.1" [deps] CarlemanLinearization = "4803f6b2-022a-4c1b-a771-522a3413ec86" diff --git a/src/ReachSets/TaylorModelReachSet.jl b/src/ReachSets/TaylorModelReachSet.jl index b5eb08d03..f6c856d49 100644 --- a/src/ReachSets/TaylorModelReachSet.jl +++ b/src/ReachSets/TaylorModelReachSet.jl @@ -426,7 +426,7 @@ end # evaluate at a given time point and overapproximate the resulting set function overapproximate(R::TaylorModelReachSet, T::Type{<:LazySet}, t::AbstractFloat; kwargs...) - return overapproximate(R, T, TimeInterval(t, t); kwargs...) + return overapproximate(R, T; Δt=TimeInterval(t, t), kwargs...) end # convert a hyperrectangular set to a taylor model reachset