From 17d1c03be21ec990964917f073e0e25b8bae5f66 Mon Sep 17 00:00:00 2001
From: Russel Arbore <russel.jma@gmail.com>
Date: Mon, 10 Feb 2025 09:42:18 -0600
Subject: [PATCH] cleanup
---
hercules_opt/src/fork_transforms.rs | 10 ----------
1 file changed, 10 deletions(-)
diff --git a/hercules_opt/src/fork_transforms.rs b/hercules_opt/src/fork_transforms.rs
index b5d3bb28..7c423892 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,
--
GitLab