diff --git a/python/ql/lib/semmle/python/pointsto/PointsTo.qll b/python/ql/lib/semmle/python/pointsto/PointsTo.qll index 66b82367de0..8cc400c33b7 100644 --- a/python/ql/lib/semmle/python/pointsto/PointsTo.qll +++ b/python/ql/lib/semmle/python/pointsto/PointsTo.qll @@ -715,7 +715,7 @@ private module InterModulePointsTo { i.getImportedModuleName() = name and PointsToInternal::module_imported_as(value, name) and origin = f and - context.appliesTo(f) + context.appliesTo(pragma[only_bind_into](f)) ) }