fmt

egraphs-good · Jul 26, 2023 · aa1749b · aa1749b
1 parent 158ce5e
commit aa1749b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/algorithms.rs b/src/algorithms.rs
@@ -62,7 +62,9 @@ impl EGraph {
                 .collect::<Vec<_>>()
                 .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;
         }