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::() - .unwrap(); + let end_id = checked_lookup(xml_sdf, node, "id")?.parse::().unwrap(); if end_id > PD_MAX_ID as i64 { return Err(value_error(