Update comment regarding Operation::verify

lima-limon-inc · lima-limon-inc · commit e007d0187a2d · 2025-05-16T11:55:31.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
@@ -806,8 +806,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
`@@ -806,8 +806,8 @@ impl OpToOpPassAdaptor {`
`806`	`806`	`) -> Result<(), Report> {`
`807`	`807`
`808`	`808`	`if verify {`
`809`		`- // We run an initial recursive verification, since this is potentially the first`
`810`		`- // verification done in the operations`
	`809`	`+ // We run an initial recursive verification, since this is the first verification done`
	`810`	`+ // to the operations`
`811`	`811`	`Self::verify(&op, true)?;`
`812`	`812`	`}`
`813`	`813`