Fix bad merge

This commit is contained in:
Taus
2021-10-15 11:12:52 +00:00
committed by GitHub
parent 1fb8a175f9
commit 10aeadb889

View File

@@ -152,7 +152,7 @@ module PredConsistency {
strictcount(PredicateOrBuiltin p0 |
resolveCall(call, p0) and
// aliases are expected to resolve to multiple.
not exists(p0.(ClasslessPredicate).getAlias())
not exists(p0.(ClasslessPredicate).getAlias()) and
// overridden predicates may have multiple targets
not p0.(ClassPredicate).isOverride()
) and