Update executor/src/witgen/jit/witgen_inference.rs

Co-authored-by: Leo <[email protected]>
powdr-labs · Feb 5, 2025 · 82d0455 · 82d0455
1 parent d758f17
commit 82d0455
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/executor/src/witgen/jit/witgen_inference.rs b/executor/src/witgen/jit/witgen_inference.rs
@@ -224,7 +224,7 @@ impl<'a, T: FieldElement, FixedEval: FixedEvaluator<T>> WitgenInference<'a, T, F
         }
 
         // If there is a condition, only continue if the constraint
-        // is known to be hold.
+        // is known to hold.
         if let Some(condition) = prover_function.condition.as_ref() {
             if self
                 .evaluate(condition, row_offset)