CFG: hide 'begin'

This commit is contained in:
Arthur Baars
2020-12-07 15:57:11 +01:00
parent 87451fd999
commit 024150b04b
2 changed files with 6 additions and 8 deletions

View File

@@ -269,6 +269,8 @@ private module Trees {
not result instanceof Else and
not result instanceof Ensure
}
override predicate isHidden() { any() }
}
private class BeginBlockTree extends StandardPreOrderTree, BeginBlock {