From 0682a5e855c402fff9286030be87bbeef17df837 Mon Sep 17 00:00:00 2001 From: Leo Date: Thu, 10 Aug 2023 16:20:01 +0200 Subject: [PATCH] fix clippy (#481) --- asm_to_pil/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/asm_to_pil/src/lib.rs b/asm_to_pil/src/lib.rs index ff8f7e428..a84fb557f 100644 --- a/asm_to_pil/src/lib.rs +++ b/asm_to_pil/src/lib.rs @@ -143,7 +143,7 @@ impl<'a, T: FieldElement> ASMPILConverter<'a, T> { } fn convert_machine(mut self, input: Machine) -> Object { - let degree = input.degree.map(|s| T::from(s.degree.clone()).to_degree()); + let degree = input.degree.map(|s| T::from(s.degree).to_degree()); self.submachines = input.submachines;