From 1b83b4dd4b90df78e531504f0c13be3cadd7cf6d Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Mon, 12 Jul 2021 16:45:59 -0700 Subject: [PATCH] cargo fmt --- src/gates/insertion.rs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs index 2329c101..2d60ea83 100644 --- a/src/gates/insertion.rs +++ b/src/gates/insertion.rs @@ -207,10 +207,12 @@ impl, const D: usize> SimpleGenerator for InsertionGenerator // Compute the new vector and the values for equality_dummy and insert_here let n = self.gate.vec_size; - let orig_vec = (0..n).map(|i| get_local_ext(InsertionGate::::wires_list_item(i))).collect::>(); + let orig_vec = (0..n) + .map(|i| get_local_ext(InsertionGate::::wires_list_item(i))) + .collect::>(); let to_insert = get_local_ext(InsertionGate::::wires_element_to_insert()); let insertion_index_f = get_local_wire(InsertionGate::::wires_insertion_index()); - + let insertion_index = insertion_index_f.to_canonical_u64() as usize; let mut new_vec = Vec::new(); new_vec.extend(&orig_vec[..insertion_index]);