From fb794c6b5ec84e3aaeb4fba0c382b5b21c4e201c Mon Sep 17 00:00:00 2001 From: Many the fish Date: Mon, 18 Jul 2022 17:46:00 +0200 Subject: [PATCH] Update milli/src/search/matches/mod.rs --- milli/src/search/matches/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/milli/src/search/matches/mod.rs b/milli/src/search/matches/mod.rs index 89ab0064f..8df93daa1 100644 --- a/milli/src/search/matches/mod.rs +++ b/milli/src/search/matches/mod.rs @@ -419,7 +419,7 @@ impl<'t, A: AsRef<[u8]>> Matcher<'t, '_, A> { } else { match &self.matches { Some((tokens, matches)) => { - // If the text have to be croped, + // If the text has to be cropped, // compute the best interval to crop around. let matches = match format_options.crop { Some(crop_size) if crop_size > 0 => {