Ensure ordering and uniqueness of the deletion vector

YingboMa · YingboMa · commit 66010396f5a1 · 2022-09-13T14:44:18.000-04:00
diff --git a/src/systems/alias_elimination.jl b/src/systems/alias_elimination.jl
@@ -304,6 +304,7 @@ function reduce!(mm::SparseMatrixCLIL, ag::AliasGraph)
             end
             j += 1
         end
+        unique!(sort!(dels))
         deleteat!(rs, dels)
         deleteat!(rvals, dels)
         empty!(dels)
