Update comment regarding Operation::verify

lima-limon-inc · lima-limon-inc · commit 4baa815d91bc · 2025-05-16T15:43:29.000-03:00
Signed-off-by: Tomas Fabrizio Orsi &lt;tomas.orsi@lambdaclass.com&gt;
diff --git a/hir/src/pass/manager.rs b/hir/src/pass/manager.rs
@@ -847,8 +847,8 @@ impl OpToOpPassAdaptor {
     ) -> Result<(), Report> {
 
         if verify {
-            // We run an initial recursive verification, since this is potentially the first
-            // verification done in the operations
+            // We run an initial recursive verification, since this is the first verification done
+            // to the operations
             Self::verify(&op, true)?;
         }
 

Original file line number	Diff line number	Diff line change
`@@ -847,8 +847,8 @@ impl OpToOpPassAdaptor {`
`847`	`847`	`) -> Result<(), Report> {`
`848`	`848`
`849`	`849`	`if verify {`
`850`		`- // We run an initial recursive verification, since this is potentially the first`
`851`		`- // verification done in the operations`
	`850`	`+ // We run an initial recursive verification, since this is the first verification done`
	`851`	`+ // to the operations`
`852`	`852`	`Self::verify(&op, true)?;`
`853`	`853`	`}`
`854`	`854`