From ff1e6637acf8abab12ff231ab5e0749b6ecf4f0c Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Thu, 19 May 2022 13:06:24 +0200 Subject: [PATCH] C#: Fix issue with summaryElement predicate. --- .../code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll index 99f365339b6..7fa9df72ba2 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll @@ -96,9 +96,7 @@ DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) { * `input`, output specification `output`, kind `kind`, and a flag `generated` * stating whether the summary is autogenerated. */ -predicate summaryElement( - SummarizedCallable c, string input, string output, string kind, boolean generated -) { +predicate summaryElement(Callable c, string input, string output, string kind, boolean generated) { exists( string namespace, string type, boolean subtypes, string name, string signature, string ext |