Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll

yoff · tausbn · web-flow · commit 8fbb447f4c78 · 2020-08-19T08:02:29.000+02:00
Co-authored-by: Taus &lt;tausbn@github.com&gt;
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
@@ -230,7 +230,7 @@ predicate storeStep(Node nodeFrom, Content c, Node nodeTo) {
   //   `[..., 42, ...]`
   //   nodeFrom is `42`, cfg node
   //   nodeTo is the sequence, say `[..., 42, ...]`, cfg node
-  //   c denotes list or c denotes tuple and index of 42
+  //   c denotes list or c denotes tuple and index of nodeFrom
   //
   // List
   nodeTo.(CfgNode).getNode().(ListNode).getAnElement() = nodeFrom.(CfgNode).getNode() and
