Skip to content

Commit

Permalink
into_iter -> iter
Browse files Browse the repository at this point in the history
  • Loading branch information
gabriel-barrett committed Feb 29, 2024
1 parent 501350a commit 9d86084
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/lem/circuit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -548,9 +548,9 @@ fn allocate_return<F: LurkField, CS: ConstraintSystem<F>>(
let ptr = AllocatedPtr::alloc(ns!(cs, format!("matched output {i}")), z_ptr)?;
output.push(ptr);
}
for (branch_idx, (select, ptrs)) in branches.into_iter().enumerate() {
for (ptr_idx, (ptr, ret_ptr)) in ptrs.into_iter().zip(output.iter()).enumerate() {
ptr.implies_ptr_equal(ns!(cs, format!("{branch_idx}:{ptr_idx}")), &select, ret_ptr);
for (branch_idx, (select, ptrs)) in branches.iter().enumerate() {
for (ptr_idx, (ptr, ret_ptr)) in ptrs.iter().zip(output.iter()).enumerate() {
ptr.implies_ptr_equal(ns!(cs, format!("{branch_idx}:{ptr_idx}")), select, ret_ptr);
}
}
Ok(output)
Expand Down

0 comments on commit 9d86084

Please sign in to comment.