an almost-useless micro-optimization

H-A-M-G-E-R · Nov 30, 2023 · 75e6e8d · 75e6e8d
1 parent a053113
commit 75e6e8d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/miratope-core/src/conc/faceting.rs b/miratope-core/src/conc/faceting.rs
@@ -1531,7 +1531,6 @@ impl Concrete {
                                     hyperplane_vertices.push(idx);
                                 }
                             }
-                            hyperplane_vertices.sort_unstable();
 
                             // Check if the hyperplane has been found already.
                             let mut is_new = true;