touch comment of ILForwardIterator

UQ-PAC · Dec 19, 2024 · 05e7deb · 05e7deb
1 parent 288b4e1
commit 05e7deb
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/scala/ir/Program.scala b/src/main/scala/ir/Program.scala
@@ -9,8 +9,7 @@ import translating.serialiseIL
 
 
 /**
-  * Iterator in approximate syntactic pre-order of procedures, blocks, and commands. Blocks and procedures are 
-  * not guaranteed to be in any defined order. 
+  * Iterator in pre-order of procedures, blocks, and commands. GoTos targets are traversed in an unspecified order.
   */
 private class ILForwardIterator(private val begin: IterableOnce[CFGPosition], val walk: IRWalk[CFGPosition, CFGPosition]) extends Iterator[CFGPosition] {
   val seen = mutable.Set[CFGPosition]()