that was so stupid

H-A-M-G-E-R · Nov 22, 2023 · 8e7db4d · 8e7db4d
1 parent 8759b94
commit 8e7db4d
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/miratope-core/src/conc/faceting.rs b/miratope-core/src/conc/faceting.rs
@@ -2036,9 +2036,10 @@ impl Concrete {
                         new_facet[2] = new_list;
 
                         new_facet.element_sort_strong_with_local(facet_local);
-                        facet_set.insert(new_facet.clone());
-                        facet_vec.push(new_facet); // have to do this so you can predict the facet index
-                                                // also it makes the facets sorted by type so that's cool
+                        if facet_set.insert(new_facet.clone()) {
+                            facet_vec.push(new_facet); // have to do this so you can predict the facet index
+                                                    // also it makes the facets sorted by type so that's cool
+                        }
                     }
                 }