diff --git a/cpp/ql/src/Critical/FlowAfterFree.qll b/cpp/ql/src/Critical/FlowAfterFree.qll index 05f7c19ed69..529b99b9d37 100644 --- a/cpp/ql/src/Critical/FlowAfterFree.qll +++ b/cpp/ql/src/Critical/FlowAfterFree.qll @@ -103,7 +103,7 @@ module FlowFromFree { /** * Holds if `n` is a dataflow node such that `n.asExpr() = e` and `e` - * is being freed by a deallocation function `dealloc`. + * is being freed by a deallocation expression `dealloc`. */ predicate isFree(DataFlow::Node n, Expr e, DeallocationExpr dealloc) { e = dealloc.getFreedExpr() and