clippy

Signed-off-by: James Archer <[email protected]>
seL4 · Sep 4, 2024 · b12c5d4 · b12c5d4
1 parent 3049956
commit b12c5d4
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/tool/microkit/src/sdf.rs b/tool/microkit/src/sdf.rs
@@ -951,15 +951,16 @@ impl DomainSchedule {
                 ));
             }
 
-            let id = {
-                if !domain_ids.contains_key(&name.to_string()) {
-                    domain_ids.insert(name.to_string(), next_domain_id);
+            let id = match domain_ids.get(name) {
+                Some(&id) => id,
+                None => {
+                    let id = next_domain_id;
                     next_domain_id += 1;
+                    domain_ids.insert(name.to_string(), id);
+                    id
                 }
-                *domain_ids.get(&name.to_string()).unwrap()
             };
 
-            domain_ids.insert(name.to_string(), id);
             schedule.push(DomainTimeslice {
                 id,
                 length: length.unwrap(),