Merge pull request #641 from powdr-labs/fix_clippy

Fix clippy.
2026-05-13 03:00:26 -04:00 · 2023-09-27 13:33:32 +00:00
parent 304fd56c7f edaa59f14b
commit fcaff3672f
1 changed files with 2 additions and 5 deletions
--- a/backend/src/pilstark/json_exporter/mod.rs
+++ b/backend/src/pilstark/json_exporter/mod.rs
@@ -432,11 +432,8 @@ mod test {
                }
            }
            JsonValue::Object(obj) => {
-                match obj.entry("deps") {
-                    serde_json::map::Entry::Occupied(deps) => {
-                        deps.remove();
-                    }
-                    _ => (),
+                if let serde_json::map::Entry::Occupied(deps) = obj.entry("deps") {
+                    deps.remove();
                }

                for (_, e) in obj.iter_mut() {