From aa1749b8eddd398427a5a5ee84aab12322c6e588 Mon Sep 17 00:00:00 2001 From: Saul Shanabrook Date: Wed, 26 Jul 2023 15:33:16 -0400 Subject: [PATCH] fmt --- src/algorithms.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/algorithms.rs b/src/algorithms.rs index f3fa20f..731c487 100644 --- a/src/algorithms.rs +++ b/src/algorithms.rs @@ -62,7 +62,9 @@ impl EGraph { .collect::>() .join(", "); // Remove leaf children from children - parent_node.children.retain(|child| !leaf_children.contains(child)); + parent_node + .children + .retain(|child| !leaf_children.contains(child)); let new_op = format!("{}({})", parent_node.op, args); parent_node.op = new_op; }