Merge pull request #832 from JuliaReach/schillic/726

#726 - Outsource `SingleEntryVector` code to ReachabilityBase
JuliaReach · Jun 2, 2024 · d96dc52 · d96dc52
2 parents bbf3abe + a682c67
commit d96dc52
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 69 deletions.
diff --git a/src/Flowpipes/arrayops.jl b/src/Flowpipes/arrayops.jl
diff --git a/src/ReachabilityAnalysis.jl b/src/ReachabilityAnalysis.jl
@@ -19,7 +19,6 @@ include("Discretization/discretization.jl")
 include("Flowpipes/setops.jl")
 include("ReachSets/reachsets.jl")
 include("Flowpipes/flowpipes.jl")
-include("Flowpipes/arrayops.jl")
 include("Flowpipes/clustering.jl")
 include("Flowpipes/solutions.jl")