From fdad16f4b1a9a7cbf5f109be4344e79c50e838e2 Mon Sep 17 00:00:00 2001
From: James Archer <j.archer@unsw.edu.au>
Date: Fri, 26 Jul 2024 14:01:38 +1000
Subject: [PATCH] tool: remove redundant lifetime annotations

Signed-off-by: James Archer <j.archer@unsw.edu.au>
---
 tool/microkit/src/sysxml.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tool/microkit/src/sysxml.rs b/tool/microkit/src/sysxml.rs
index 48215caf..1dc74eb4 100644
--- a/tool/microkit/src/sysxml.rs
+++ b/tool/microkit/src/sysxml.rs
@@ -800,9 +800,9 @@ impl Channel {
 }
 
 impl DomainSchedule {
-    fn from_xml<'a>(
-        xml_sdf: &'a XmlSystemDescription,
-        node: &'a roxmltree::Node,
+    fn from_xml(
+        xml_sdf: &XmlSystemDescription,
+        node: &roxmltree::Node,
     ) -> Result<DomainSchedule, String> {
         let pos = xml_sdf.doc.text_pos_at(node.range().start);