From c34883e0aac9f774509f02d30fa7b2d8c4527ffb Mon Sep 17 00:00:00 2001 From: Mengran Lan Date: Thu, 18 Jul 2024 23:26:30 +0800 Subject: [PATCH] fix lint issue (#1450) --- prover/src/zk_circuits_handler.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prover/src/zk_circuits_handler.rs b/prover/src/zk_circuits_handler.rs index 3b257ebfa1..db254e2abb 100644 --- a/prover/src/zk_circuits_handler.rs +++ b/prover/src/zk_circuits_handler.rs @@ -167,7 +167,7 @@ impl<'a> CircuitsHandlerProvider<'a> { ); vk }) - .filter(|vk| vk.len() > 0) + .filter(|vk| !vk.is_empty()) .collect::>() }) .collect::>()