tool: remove redundant lifetime annotations

Signed-off-by: James Archer <[email protected]>
seL4 · Jul 26, 2024 · fdad16f · fdad16f
1 parent 18f4f27
commit fdad16f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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);