remove redundant cast

This commit is contained in:
Erik Krogh Kristensen
2022-06-19 23:19:01 +02:00
parent 15f9e084d5
commit 6d3808bd89

View File

@@ -205,7 +205,7 @@ module PredConsistency {
strictcount(ClasslessPredicate p0 |
resolvePredicateExpr(pe, p0) and
// aliases are expected to resolve to multiple.
not exists(p0.(ClasslessPredicate).getAlias())
not exists(p0.getAlias())
) and
c > 1 and
resolvePredicateExpr(pe, p)