diff --git a/barretenberg/cpp/pil/avm/mem.pil b/barretenberg/cpp/pil/avm/mem.pil index 11be391afc4a..0ac4a43aacdf 100644 --- a/barretenberg/cpp/pil/avm/mem.pil +++ b/barretenberg/cpp/pil/avm/mem.pil @@ -92,7 +92,7 @@ namespace mem(256); + sel_op_slice; // Maximum one memory operation enabled per row - sel_mem * (sel_mem - 1) = 0; // TODO: might be infered by the main trace + sel_mem * (sel_mem - 1) = 0; // TODO: might be inferred by the main trace // Enforce the memory entries to be contiguous, i.e., as soon as // sel_mem is disabled all subsequent rows have sel_mem disabled.