rust/rhg/src/main.rs
changeset 51117 532e74ad3ff6
parent 50883 12476986d89c
child 51152 ac3859a8b796
--- a/rust/rhg/src/main.rs	Mon Nov 06 11:02:18 2023 +0100
+++ b/rust/rhg/src/main.rs	Mon Nov 06 11:06:08 2023 +0100
@@ -404,8 +404,8 @@
     }
 }
 
-fn exit<'a>(
-    original_args: &'a [OsString],
+fn exit(
+    original_args: &[OsString],
     initial_current_dir: &Option<PathBuf>,
     ui: &Ui,
     mut on_unsupported: OnUnsupported,