CPP: Change * to +.

This commit is contained in:
Geoffrey White
2019-01-22 16:41:57 +00:00
parent fab8e526f3
commit 175ff9644a

View File

@@ -191,7 +191,7 @@ predicate freedInSameMethod(Resource r, Expr acquire) {
exists(Expr releaseExpr, string kind |
r.acquisitionWithRequiredKind(acquire, kind) and
releaseExpr = r.getAReleaseExpr(kind) and
releaseExpr.getEnclosingElement*() = acquire.getEnclosingFunction()
releaseExpr.getEnclosingElement+() = acquire.getEnclosingFunction()
)
}