diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll index 8654df86518..d159e7cba39 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll @@ -813,9 +813,7 @@ module Private { * be useful to include in the exposed local data-flow/taint-tracking relations. */ predicate summaryThroughStepTaint(ArgNode arg, Node out) { - exists(ReturnNodeExt ret | - summaryLocalStep(summaryArgParam(arg, ret, out), ret, false) - ) + exists(ReturnNodeExt ret | summaryLocalStep(summaryArgParam(arg, ret, out), ret, false)) } /** diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll index 8654df86518..d159e7cba39 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll @@ -813,9 +813,7 @@ module Private { * be useful to include in the exposed local data-flow/taint-tracking relations. */ predicate summaryThroughStepTaint(ArgNode arg, Node out) { - exists(ReturnNodeExt ret | - summaryLocalStep(summaryArgParam(arg, ret, out), ret, false) - ) + exists(ReturnNodeExt ret | summaryLocalStep(summaryArgParam(arg, ret, out), ret, false)) } /** diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll index 8654df86518..d159e7cba39 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll @@ -813,9 +813,7 @@ module Private { * be useful to include in the exposed local data-flow/taint-tracking relations. */ predicate summaryThroughStepTaint(ArgNode arg, Node out) { - exists(ReturnNodeExt ret | - summaryLocalStep(summaryArgParam(arg, ret, out), ret, false) - ) + exists(ReturnNodeExt ret | summaryLocalStep(summaryArgParam(arg, ret, out), ret, false)) } /**