From a4128af756ec57899ef9d91460ad18edb621332e Mon Sep 17 00:00:00 2001 From: Armin Ronacher Date: Sun, 31 Jan 2021 19:35:59 +0100 Subject: [PATCH] Silence a clippy lint --- src/algorithms/myers.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/algorithms/myers.rs b/src/algorithms/myers.rs index d7ef1ef..2b5700c 100644 --- a/src/algorithms/myers.rs +++ b/src/algorithms/myers.rs @@ -67,6 +67,7 @@ where New: Index + ?Sized, New::Output: PartialEq, { + #![allow(clippy::many_single_char_names)] if old_end > old_current && new_end > new_current { let old_span = old_end - old_current; let new_span = new_end - new_current;