Merge pull request #12254 from ethereum/optimizerDocsForLoopInitRewriter

Remove incorrect outer block from for loop init rewriter documentation.
2023-10-03 13:03:40 +00:00 · 2021-11-08 11:55:05 +01:00
parent f9ba1bf3c8 be552683c9
commit ea3c34a082
1 changed files with 3 additions and 5 deletions
@@ -429,11 +429,9 @@ is transformed to

 .. code-block:: text

-    {
-        Init...
-        for {} C { Post... } {
-            Body...
-        }
+    Init...
+    for {} C { Post... } {
+        Body...
    }

 This eases the rest of the optimization process because we can ignore