From ba073b801ac6e32545e5ea2e2dde1bfddd749ce5 Mon Sep 17 00:00:00 2001
From: julia <git.ts@trainwit.ch>
Date: Wed, 4 Sep 2024 15:02:39 +1000
Subject: [PATCH] rustfmt

---
 tool/microkit/src/sdf.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tool/microkit/src/sdf.rs b/tool/microkit/src/sdf.rs
index e63637bd..0da85a55 100644
--- 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(