remove method that is not needed anymore

JuliaReach · Mar 10, 2024 · b58fed3 · b58fed3
1 parent 1e4759f
commit b58fed3
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/Flowpipes/setops.jl b/src/Flowpipes/setops.jl
@@ -224,10 +224,6 @@ function _split_symmetric_box(D::Int, partition::Vector{Int})
     return convert.(IA.IntervalBox, Sp)
 end
 
-function Base.:(*)(M::AbstractMatrix, X::UnionSetArray{N,<:AbstractSingleton{N}}) where {N}
-    return UnionSetArray([linear_map(M, p) for p in array(X)])
-end
-
 # ==================================
 # Zonotope order reduction methods
 # ==================================