diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll index 138364d7613f..9eaae9537a37 100644 --- a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll +++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll @@ -2375,7 +2375,8 @@ module MakeImpl { ApOption apSome(Ap ap) { result = TApproxAccessPathFrontSome(ap) } - import BooleanCallContext + import Level1CallContext + import NoLocalCallContext predicate localStep( NodeEx node1, FlowState state1, NodeEx node2, FlowState state2, boolean preservesValue,