Ruby: Fix pre-existing bug.

This commit is contained in:
Anders Schack-Mulligen
2026-05-22 13:29:45 +02:00
parent 7dcd2d6ab6
commit 3adb7043e8

View File

@@ -205,12 +205,7 @@ module Trees {
first(this.getBodyChild(0, _), first)
or
not exists(this.getBodyChild(_, _)) and
(
first(super.getRescue(_), first)
or
not exists(super.getRescue(_)) and
first(super.getEnsure(), first)
)
first(super.getEnsure(), first)
}
override predicate last(AstNode last, Completion c) {