Python: autoformat

python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll

@@ -1107,7 +1107,7 @@ predicate subscriptReadStep(CfgNode nodeFrom, Content c, CfgNode nodeTo) {
  *
  *
  * We illustrate the above steps on the assignment
- * 
+ *
  * ```python
  * (a, b) = ["a", SOURCE]
  * ```
@@ -1116,23 +1116,23 @@ predicate subscriptReadStep(CfgNode nodeFrom, Content c, CfgNode nodeTo) {
  *   `["a", SOURCE]`: [ListElementContent]
  *
  * --Step 1-->
- * 
+ *
  *   `TIterableSequence((a, b))`: [ListElementContent]
  *
  * --Step 3-->
- * 
+ *
  *   `TIterableElement((a, b))`: []
  *
  * --Step 4-->
- * 
+ *
  *   `(a, b)`: [TupleElementContent(0)]
  *
  * --Step 5a-->
  *
  *   `a`: []
- * 
+ *
  * Meaning there is data-flow from the RHS to `a` (an over approximation). The same logic would be applied to show there is data-flow to `b`. Note that _Step 3_ and _Step 4_ would not have been needed if the RHS had been a tuple (since that would have been able to use _Step 2_ instead).
- * 
+ *
  * Another, more complicated example:
  * ```python
  *   (a, [b, *c]) = ["a", [SOURCE]]