diff --git a/python/ql/lib/semmle/python/essa/SsaDefinitions.qll b/python/ql/lib/semmle/python/essa/SsaDefinitions.qll index 810afc3179a..4896016eb78 100644 --- a/python/ql/lib/semmle/python/essa/SsaDefinitions.qll +++ b/python/ql/lib/semmle/python/essa/SsaDefinitions.qll @@ -78,7 +78,9 @@ module SsaSource { /** Holds if `v` is defined by a `for` statement, the definition being `defn` */ cached - predicate iteration_defined_variable(Variable v, ControlFlowNode defn, ControlFlowNode sequence) { + deprecated predicate iteration_defined_variable( + Variable v, ControlFlowNode defn, ControlFlowNode sequence + ) { exists(ForNode for | for.iterates(defn, sequence)) and defn.(NameNode).defines(v) }