Changed procedure offsets from enumerate to 0

0xPolygonMiden · Aug 4, 2024 · 504e5d8 · 504e5d8
1 parent ebd14bb
commit 504e5d8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 9 deletions.
diff --git a/miden-lib/asm/miden/kernels/tx/account.masm b/miden-lib/asm/miden/kernels/tx/account.masm
@@ -375,13 +375,11 @@ end
 #! Output: [offset_slot_index]
 export.offset_storage_index
     # verify that slot_index is in bounds
-    dup.1 exec.get_max_storage_slot_index lt assert.err=111
-    # assert.err=ERR_STORAGE_SLOT_INDEX_OUT_OF_BOUNDS
+    dup.1 exec.get_max_storage_slot_index lt assert.err=ERR_STORAGE_SLOT_INDEX_OUT_OF_BOUNDS
     # => [storage_offset, slot_index]
 
     # verify that the computed offset_slot_index is in bounds
-    add dup exec.get_max_storage_slot_index lt assert.err=112
-    # assert.err=ERR_STORAGE_SLOT_INDEX_OUT_OF_BOUNDS
+    add dup exec.get_max_storage_slot_index lt assert.err=ERR_STORAGE_SLOT_INDEX_OUT_OF_BOUNDS
     # => [offset_slot_index]
 end
 

diff --git a/objects/src/accounts/code/mod.rs b/objects/src/accounts/code/mod.rs
@@ -66,11 +66,8 @@ impl AccountCode {
             .map_err(AccountError::AccountCodeAssemblerError)?;
 
         // TODO: Find way to input offset
-        let procedures: Vec<AccountProcedureInfo> = procedures
-            .into_iter()
-            .enumerate()
-            .map(|(i, proc)| AccountProcedureInfo::new(proc, i as u16))
-            .collect();
+        let procedures: Vec<AccountProcedureInfo> =
+            procedures.into_iter().map(|proc| AccountProcedureInfo::new(proc, 0)).collect();
 
         // make sure the number of procedures is between 1 and 256 (both inclusive)
         if procedures.is_empty() {