this is redundant

H-A-M-G-E-R · Nov 23, 2023 · dcb7a60 · dcb7a60
1 parent ecb19e1
commit dcb7a60
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/miratope-core/src/conc/faceting.rs b/miratope-core/src/conc/faceting.rs
@@ -2102,15 +2102,10 @@ impl Concrete {
                 }
 
                 let mut new_rank = ElementList::new();
-                let mut set = HashSet::new();
 
                 for f_i in 0..facet_vec.len() {
-                    facet_vec[f_i][rank-1][0].subs.sort();
                     let subs = facet_vec[f_i][rank-1][0].subs.clone();
-                    if !set.contains(&subs) {
-                        new_rank.push(Element::new(subs.clone(), Superelements::new()));
-                        set.insert(subs);
-                    }
+                    new_rank.push(Element::new(subs, Superelements::new()));
                 }
                 let n_r_len = new_rank.len();
                 ranks.push(new_rank); // facets