4209 - review feedback addressed

AztecProtocol · Jan 29, 2024 · 7126294 · 7126294
1 parent 924b409
commit 7126294
Showing 1 changed file with 2 additions and 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
@@ -452,7 +452,7 @@ std::vector<FF> 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.
 }
 
 /**