From 192c0f8efd75c24428b4a10428294c25e99c861b Mon Sep 17 00:00:00 2001 From: Kitaiti Makoto Date: Sat, 16 Jan 2021 12:21:49 +0900 Subject: [PATCH] Remove unused lifetime --- plume-cli/src/search.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plume-cli/src/search.rs b/plume-cli/src/search.rs index 7afa05d9..a8df9e36 100644 --- a/plume-cli/src/search.rs +++ b/plume-cli/src/search.rs @@ -106,7 +106,7 @@ fn refill<'a>(args: &ArgMatches<'a>, conn: &Connection, searcher: Option(args: &ArgMatches<'a>) { +fn unlock(args: &ArgMatches) { let path = match args.value_of("path") { None => Path::new(&CONFIG.search_index), Some(x) => Path::new(x),