remove duplicated line

This commit is contained in:
Erik Krogh Kristensen
2021-11-30 12:12:09 +01:00
parent c8d29a9cf1
commit f7a63d5ea0
3 changed files with 0 additions and 6 deletions

View File

@@ -98,8 +98,6 @@ predicate matchesEpsilon(RegExpTerm t) {
matchesEpsilon(t.(RegExpBackRef).getGroup())
or
forex(RegExpTerm child | child = t.(RegExpSequence).getAChild() | matchesEpsilon(child))
or
t.(RegExpRange).getLowerBound() = 0
}
/**