diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll index 7a14c5928f9..1f40ef3d183 100644 --- a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll +++ b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll @@ -641,9 +641,7 @@ private module ImplCommon { class CallContextSpecificCall extends CallContextCall, TSpecificCall { override string toString() { - exists(DataFlowCall call | this = TSpecificCall(call) | - result = "CcCall(" + call + ")" - ) + exists(DataFlowCall call | this = TSpecificCall(call) | result = "CcCall(" + call + ")") } override predicate relevantFor(DataFlowCallable callable) { diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll index 7a14c5928f9..1f40ef3d183 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll @@ -641,9 +641,7 @@ private module ImplCommon { class CallContextSpecificCall extends CallContextCall, TSpecificCall { override string toString() { - exists(DataFlowCall call | this = TSpecificCall(call) | - result = "CcCall(" + call + ")" - ) + exists(DataFlowCall call | this = TSpecificCall(call) | result = "CcCall(" + call + ")") } override predicate relevantFor(DataFlowCallable callable) { diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll index 7a14c5928f9..1f40ef3d183 100644 --- a/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll +++ b/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll @@ -641,9 +641,7 @@ private module ImplCommon { class CallContextSpecificCall extends CallContextCall, TSpecificCall { override string toString() { - exists(DataFlowCall call | this = TSpecificCall(call) | - result = "CcCall(" + call + ")" - ) + exists(DataFlowCall call | this = TSpecificCall(call) | result = "CcCall(" + call + ")") } override predicate relevantFor(DataFlowCallable callable) { diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll index 7a14c5928f9..1f40ef3d183 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll @@ -641,9 +641,7 @@ private module ImplCommon { class CallContextSpecificCall extends CallContextCall, TSpecificCall { override string toString() { - exists(DataFlowCall call | this = TSpecificCall(call) | - result = "CcCall(" + call + ")" - ) + exists(DataFlowCall call | this = TSpecificCall(call) | result = "CcCall(" + call + ")") } override predicate relevantFor(DataFlowCallable callable) {