Make succ0 private

This commit is contained in:
Owen Mansel-Chan
2024-01-03 14:55:12 +00:00
parent 6ecf6ea3ac
commit 032574f3d1

View File

@@ -2082,7 +2082,9 @@ module CFG {
/** Gets a successor of `nd`, that is, a node that is executed after `nd`. */
cached
ControlFlow::Node succ0(ControlFlow::Node nd) { any(ControlFlowTree tree).succ0(nd, result) }
private ControlFlow::Node succ0(ControlFlow::Node nd) {
any(ControlFlowTree tree).succ0(nd, result)
}
/** Gets a successor of `nd`, that is, a node that is executed after `nd`. */
cached