rustfmt

seL4 · Sep 4, 2024 · ba073b8 · ba073b8
1 parent e04f887
commit ba073b8
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tool/microkit/src/sdf.rs b/tool/microkit/src/sdf.rs
@@ -791,9 +791,7 @@ impl ChannelEnd {
 
         check_attributes(xml_sdf, node, &["pd", "id", "pp", "notify"])?;
         let end_pd = checked_lookup(xml_sdf, node, "pd")?;
-        let end_id = checked_lookup(xml_sdf, node, "id")?
-            .parse::<i64>()
-            .unwrap();
+        let end_id = checked_lookup(xml_sdf, node, "id")?.parse::<i64>().unwrap();
 
         if end_id > PD_MAX_ID as i64 {
             return Err(value_error(