add no op as read only instructino

succinctlabs · May 20, 2024 · f404fdd · f404fdd
1 parent 58ab969
commit f404fdd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/recursion/core/src/cpu/air/mod.rs b/recursion/core/src/cpu/air/mod.rs
@@ -183,6 +183,7 @@ impl<F: Field> CpuChip<F> {
             + local.selectors.is_fri_fold
             + local.selectors.is_poseidon
             + local.selectors.is_store
+            + local.selectors.is_noop
     }
 
     /// Expr to check for instructions that are commit instructions.