Update executor/src/witgen/machines/machine_extractor.rs

chriseth · web-flow · commit 337083f2f4c7 · 2025-03-13T23:07:30.000+01:00
diff --git a/executor/src/witgen/machines/machine_extractor.rs b/executor/src/witgen/machines/machine_extractor.rs
@@ -494,7 +494,7 @@ fn try_as_intermediate_ref<T: FieldElement>(expr: &Expression<T>) -> Option<(Pol
     }
 }
 
-/// Returns all intermediate columns referenced in the identities as a map to their name.
+/// Returns all intermediate columns referenced in the expression as a map to their name.
 /// Follows intermediate references recursively.
 fn intermediates_in_expressions<'a, T: FieldElement>(
     expressions: impl Iterator<Item = &'a AlgebraicExpression<T>>,

Original file line number	Diff line number	Diff line change
`@@ -494,7 +494,7 @@ fn try_as_intermediate_ref<T: FieldElement>(expr: &Expression<T>) -> Option<(Pol`
`494`	`494`	`}`
`495`	`495`	`}`
`496`	`496`
`497`		`-/// Returns all intermediate columns referenced in the identities as a map to their name.`
	`497`	`+/// Returns all intermediate columns referenced in the expression as a map to their name.`
`498`	`498`	`/// Follows intermediate references recursively.`
`499`	`499`	`fn intermediates_in_expressions<'a, T: FieldElement>(`
`500`	`500`	`expressions: impl Iterator<Item = &'a AlgebraicExpression<T>>,`