Update asm-to-pil/src/vm_to_constrained.rs

Co-authored-by: Leo <[email protected]>
powdr-labs · Jul 18, 2024 · acdc1a6 · acdc1a6
1 parent 32a85c8
commit acdc1a6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/asm-to-pil/src/vm_to_constrained.rs b/asm-to-pil/src/vm_to_constrained.rs
@@ -70,8 +70,8 @@ fn rom_machine<'a>(
         latch: Some(ROM_LATCH.into()),
         pil: {
             pil.extend([
-                parse_pil_statement(&format!("pol fixed {ROM_OPERATION_ID} = [0]*;")),
-                parse_pil_statement(&format!("pol fixed {ROM_LATCH} = [1]*;")),
+                parse_pil_statement(&format!("let {ROM_OPERATION_ID} = [0]*;")),
+                parse_pil_statement(&format!("let {ROM_LATCH} = [1]*;")),
             ]);
             pil
         },