Merge pull request #244 from JuliaReach/schillic/redundant

Remove redundant statement
JuliaReach · Mar 1, 2024 · 66afaa3 · 66afaa3
2 parents 2367fa5 + 980b434
commit 66afaa3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/operations/setops.jl b/src/operations/setops.jl
@@ -75,7 +75,6 @@ A new matrix `C` of the same shape as `A` such that
 `C[i, j] = A[i, j] ∩ B[i, j]` for each `i` and `j`.
 """
 function ∩(A::IntervalMatrix, B::IntervalMatrix)
-    m, n = size(A)
     @assert size(A) == size(B) "incompatible matrix sizes (A: $(size(A)), B: " *
                                "$(size(B)))"