Fix semantic merge conflict.

This commit is contained in:
Anders Schack-Mulligen
2021-10-14 11:13:04 +02:00
parent 41a0bf154f
commit ffc25f8f89

View File

@@ -91,8 +91,8 @@ private module Cached {
rel.getName() = pc.getPredicateName()
}
private predicate resolveDBRelation(PredicateCall pc, DefinedPredicate p) {
exists(Relation rel | p = TPred(rel) |
private predicate resolveDBRelation(PredicateCall pc, Predicate p) {
exists(Relation rel | p = rel |
candidate(rel, pc) and
rel.getArity() = pc.getNumberOfArguments() and
(