From e7177ba0f96c1da3edbcdffdaaf88c128bbdd719 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81lvaro=20Rodr=C3=ADguez?= <sirasistant@gmail.com>
Date: Wed, 10 Jul 2024 18:44:40 +0200
Subject: [PATCH] fix: Memory init with no other ops gate counting (#7427)

---
 .../barretenberg/dsl/acir_format/acir_to_constraint_buf.cpp    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.cpp b/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.cpp
index 7e887afea2f..db5a3251693 100644
--- a/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.cpp
+++ b/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.cpp
@@ -643,7 +643,8 @@ AcirFormat circuit_serde_to_acir_format(Program::Circuit const& circuit, bool ho
                 } else if constexpr (std::is_same_v<T, Program::Opcode::MemoryInit>) {
                     auto block = handle_memory_init(arg);
                     uint32_t block_id = arg.block_id.value;
-                    block_id_to_block_constraint[block_id] = std::make_pair(block, std::vector<size_t>());
+                    std::vector<size_t> opcode_indices = { i };
+                    block_id_to_block_constraint[block_id] = std::make_pair(block, opcode_indices);
                 } else if constexpr (std::is_same_v<T, Program::Opcode::MemoryOp>) {
                     auto block = block_id_to_block_constraint.find(arg.block_id.value);
                     if (block == block_id_to_block_constraint.end()) {