Fix compile error.

This commit is contained in:
Anders Schack-Mulligen
2021-10-14 11:38:46 +02:00
parent ff3aba0f5d
commit 6b4dbc3fe5

View File

@@ -54,7 +54,7 @@ private predicate resolveField(FieldAccess va, VarDecl decl, string kind) {
}
private predicate resolveCall(Call c, Predicate p, string kind) {
p = c.getTarget().getDeclaration() and
p = c.getTarget() and
kind = "call"
}