remove unnecessarily silenced lint in history

This commit is contained in:
Anurag Singh 2024-04-15 21:34:07 +08:00 committed by Peter Ammon
parent 9af6a64fd2
commit 8a8c2656f3

View File

@ -306,8 +306,8 @@ pub fn history(parser: &Parser, streams: &mut IoStreams, args: &mut [&wstr]) ->
));
return STATUS_INVALID_ARGS;
}
#[allow(clippy::unnecessary_to_owned)]
for delete_string in args.iter().copied() {
for &delete_string in args {
history.remove(delete_string.to_owned());
}
}