From 224064bf050309bcb45ba03d15aecfa94372d0dd Mon Sep 17 00:00:00 2001
From: Linda Guiga <lindaguiga3@gmail.com>
Date: Wed, 5 Jul 2023 16:16:17 +0100
Subject: [PATCH] Fix jump operation generation

---
 evm/src/witness/operation.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/evm/src/witness/operation.rs b/evm/src/witness/operation.rs
index cfced651..820fd9d3 100644
--- a/evm/src/witness/operation.rs
+++ b/evm/src/witness/operation.rs
@@ -185,13 +185,14 @@ pub(crate) fn generate_jump<F: Field>(
         state,
         &mut row,
     );
+
+    row.mem_channels[1].value[0] = F::ONE;
+
     if state.registers.is_kernel {
         // Don't actually do the read, just set the address, etc.
         let channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1];
         channel.used = F::ZERO;
         channel.value[0] = F::ONE;
-
-        row.mem_channels[1].value[0] = F::ONE;
     } else {
         if jumpdest_bit != U256::one() {
             return Err(ProgramError::InvalidJumpDestination);