Update recursion/core/src/cpu/air/system.rs

succinctlabs · May 10, 2024 · 66ad615 · 66ad615
1 parent 57633ef
commit 66ad615
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/recursion/core/src/cpu/air/system.rs b/recursion/core/src/cpu/air/system.rs
@@ -11,7 +11,7 @@ impl<F: Field> CpuChip<F> {
     /// Eval the system instructions (TRAP, HALT).
     ///
     /// This method will contrain the following:
-    /// 1) Ensure that none of the instructions where TRAP.
+    /// 1) Ensure that none of the instructions are TRAP.
     /// 2) Ensure that the last real instruction is a HALT.
     pub fn eval_system_instructions<AB>(
         &self,