diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll index 723c466042b..c94425d261e 100644 --- a/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll +++ b/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll @@ -650,7 +650,7 @@ module Private { interpretSpec(spec, 0, stack) } - predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) { + private predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) { exists(string c | relevantSpec(spec) and specLength(spec, idx + 1) and diff --git a/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll index 723c466042b..c94425d261e 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll @@ -650,7 +650,7 @@ module Private { interpretSpec(spec, 0, stack) } - predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) { + private predicate interpretSpec(string spec, int idx, SummaryComponentStack stack) { exists(string c | relevantSpec(spec) and specLength(spec, idx + 1) and