diff --git a/hercules_opt/src/fork_transforms.rs b/hercules_opt/src/fork_transforms.rs index b5d3bb28cd3f4996a6d50508651a04e51e9f01a0..7c4238921a6d7c96dc4645f4fdb123aa1bf1a594 100644 --- a/hercules_opt/src/fork_transforms.rs +++ b/hercules_opt/src/fork_transforms.rs @@ -166,16 +166,6 @@ pub fn copy_subgraph( (new_nodes, map, outside_users) } -fn is_strict_superset<T: Eq + Hash>(set1: &HashSet<T>, set2: &HashSet<T>) -> bool { - // A strict superset must be larger than its subset - if set1.len() <= set2.len() { - return false; - } - - // Every element in set2 must be in set1 - set2.iter().all(|item| set1.contains(item)) -} - pub fn find_bufferize_edges( editor: &mut FunctionEditor, fork: NodeID,