diff --git a/cpp/ql/lib/semmle/code/cpp/security/flowafterfree/FlowAfterFree.qll b/cpp/ql/lib/semmle/code/cpp/security/flowafterfree/FlowAfterFree.qll index 1103ff93a1c2..e6a037a94314 100644 --- a/cpp/ql/lib/semmle/code/cpp/security/flowafterfree/FlowAfterFree.qll +++ b/cpp/ql/lib/semmle/code/cpp/security/flowafterfree/FlowAfterFree.qll @@ -72,7 +72,6 @@ module FlowFromFree { predicate isSource(DataFlow::Node node, FlowState state) { isFree(node, _, state, _) } - pragma[inline] predicate isSink(DataFlow::Node sink, FlowState state) { exists(Expr e, DataFlow::Node source, DeallocationExpr dealloc | P::isSink(sink, e) and