Address review comments

This commit is contained in:
Tom Hvitved
2023-11-07 13:01:19 +01:00
parent 3e3ea51e69
commit af7b295c59
7 changed files with 38 additions and 43 deletions

View File

@@ -93,7 +93,7 @@ private import internal.DataFlowPrivate
private import internal.FlowSummaryImpl::Private::External
private import internal.FlowSummaryImplSpecific as FlowSummaryImplSpecific
private import internal.AccessPathSyntax
private import ExternalFlowExtensions as Extensions
private import internal.ExternalFlowExtensions as Extensions
private import FlowSummary
private import codeql.mad.ModelValidation as SharedModelVal