From 7126294dd640d26de55d1bcebf048dbd996be0f8 Mon Sep 17 00:00:00 2001 From: jeanmon Date: Mon, 29 Jan 2024 16:54:17 +0000 Subject: [PATCH] 4209 - review feedback addressed --- .../cpp/src/barretenberg/vm/avm_trace/AvmMini_trace.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/barretenberg/cpp/src/barretenberg/vm/avm_trace/AvmMini_trace.cpp b/barretenberg/cpp/src/barretenberg/vm/avm_trace/AvmMini_trace.cpp index b17ab0be024..88aac4a09e6 100644 --- a/barretenberg/cpp/src/barretenberg/vm/avm_trace/AvmMini_trace.cpp +++ b/barretenberg/cpp/src/barretenberg/vm/avm_trace/AvmMini_trace.cpp @@ -452,7 +452,7 @@ std::vector AvmMiniTraceBuilder::return_op(uint32_t ret_offset, uint32_t ret pos = ret_size; } } - pc = UINT32_MAX; + pc = UINT32_MAX; // This ensures that no subsequent opcode will be executed. return returnMem; } @@ -473,7 +473,7 @@ void AvmMiniTraceBuilder::halt() .avmMini_sel_halt = FF(1), }); - pc = UINT32_MAX; + pc = UINT32_MAX; // This ensures that no subsequent opcode will be executed. } /**