Fix hardcoded BusId for Memory

jotabulacios · jotabulacios · commit a2f4bef98bfd · 2026-04-14T18:03:37.000-03:00
diff --git a/prover/src/tests/prove_elfs_tests.rs b/prover/src/tests/prove_elfs_tests.rs
@@ -1004,7 +1004,7 @@ fn test_debug_memory_bus_tokens() {
 
     let z: i128 = 1000;
     let alpha: i128 = 2;
-    let bus_id: i128 = 17; // BusId::Memory
+    let bus_id: i128 = 14; // BusId::Memory
 
     // Compute fingerprint for a token
     let fingerprint =
