fix overapproximate method

JuliaReach · Feb 2, 2024 · a6c1e33 · a6c1e33
1 parent 128724f
commit a6c1e33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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