From 8358b85d9f50899e23d87208d29a713e66c9ac9c Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Mon, 1 May 2023 08:36:16 -0700 Subject: [PATCH] remove unneeded mut --- evm/src/witness/operation.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/evm/src/witness/operation.rs b/evm/src/witness/operation.rs index aebb7c31..58c242a6 100644 --- a/evm/src/witness/operation.rs +++ b/evm/src/witness/operation.rs @@ -189,7 +189,7 @@ pub(crate) fn generate_jump( ); if state.registers.is_kernel { // Don't actually do the read, just set the address, etc. - let mut channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1]; + let channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1]; channel.used = F::ZERO; channel.value[0] = F::ONE; @@ -250,7 +250,7 @@ pub(crate) fn generate_jumpi( ); if !should_jump || state.registers.is_kernel { // Don't actually do the read, just set the address, etc. - let mut channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1]; + let channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1]; channel.used = F::ZERO; channel.value[0] = F::ONE; } else { @@ -471,7 +471,7 @@ fn append_shift( state.traces.push_memory(read); } else { // The shift constraints still expect the address to be set, even though no read will occur. - let mut channel = &mut row.mem_channels[LOOKUP_CHANNEL]; + let channel = &mut row.mem_channels[LOOKUP_CHANNEL]; channel.addr_context = F::from_canonical_usize(lookup_addr.context); channel.addr_segment = F::from_canonical_usize(lookup_addr.segment); channel.addr_virtual = F::from_canonical_usize(lookup_addr.virt);