Update pilopt/src/lib.rs

Schaeff · chriseth · web-flow · commit 7777b30b7d44 · 2025-03-10T16:17:40.000+01:00
Co-authored-by: chriseth &lt;chris@ethereum.org&gt;
diff --git a/pilopt/src/lib.rs b/pilopt/src/lib.rs
@@ -768,7 +768,7 @@ fn remove_constant_witness_columns<T: FieldElement>(pil_file: &mut Analyzed<T>)
     substitute_polynomial_references(pil_file, constant_polys);
 }
 
-/// Inlines `col i = e` into the references to `x` where `e` is a non-shifted expression with no operations.
+/// Inlines `col i = e` into the references to `i` where `e` is a non-shifted expression with no operations.
 /// The reasoning is that intermediate columns are useful to remember intermediate computation results, but in this case
 /// the intermediate results are already known.
 fn inline_trivial_intermediate_polynomials<T: FieldElement>(pil_file: &mut Analyzed<T>) {

Original file line number	Diff line number	Diff line change
`@@ -768,7 +768,7 @@ fn remove_constant_witness_columns<T: FieldElement>(pil_file: &mut Analyzed<T>)`
`768`	`768`	`substitute_polynomial_references(pil_file, constant_polys);`
`769`	`769`	`}`
`770`	`770`
`771`		-/// Inlines `col i = e` into the references to `x` where `e` is a non-shifted expression with no operations.
	`771`	+/// Inlines `col i = e` into the references to `i` where `e` is a non-shifted expression with no operations.
`772`	`772`	`/// The reasoning is that intermediate columns are useful to remember intermediate computation results, but in this case`
`773`	`773`	`/// the intermediate results are already known.`
`774`	`774`	`fn inline_trivial_intermediate_polynomials<T: FieldElement>(pil_file: &mut Analyzed<T>) {`