Merge pull request #20 from JuliaReach/schillic/length

Use eachindex instead of 1:length
JuliaReach · Mar 9, 2024 · c891025 · c891025
2 parents 6e75446 + fc467e1
commit c891025
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/BackwardAlgorithms/PolyhedraBackward.jl b/src/BackwardAlgorithms/PolyhedraBackward.jl
@@ -327,7 +327,7 @@ function _linear_map_inverse(d::AbstractVector{<:Number}, P::LazySet)
     end
     if has_undefs  # there were redundant constraints, so remove them
         constraints_MP = [constraints_MP[i]
-                          for i in 1:length(constraints_MP)
+                          for i in eachindex(constraints_MP)
                           if isassigned(constraints_MP, i)]
     end
     if isempty(constraints_MP)