Fix clippy nit

egraphs-good · Aug 30, 2024 · 1b2d004 · 1b2d004
1 parent d014800
commit 1b2d004
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/explain.rs b/src/explain.rs
@@ -2059,10 +2059,7 @@ mod tests {
         init_logger();
 
         let rws: Vec<Rewrite<SymbolLang, ()>> =
-            [rewrite!("makeb"; "a" => "b"), rewrite!("makec"; "b" => "c")]
-                .iter()
-                .cloned()
-                .collect();
+            [rewrite!("makeb"; "a" => "b"), rewrite!("makec"; "b" => "c")].to_vec();
         let mut egraph = Runner::default()
             .with_explanations_enabled()
             .without_explanation_length_optimization()