Python: Fix typo in QLDoc

tausbn · yoff · web-flow · commit f5ec548e68dd · 2020-10-19T23:51:38.000+02:00
Co-authored-by: yoff &lt;lerchedahl@gmail.com&gt;
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
@@ -514,7 +514,7 @@ predicate jumpStep(Node nodeFrom, Node nodeTo) {
 }
 
 /**
- * Holds if the module `m` defines a name `name` that by assigning `defn` to it. This is an
+ * Holds if the module `m` defines a name `name` by assigning `defn` to it. This is an
  * overapproximation, as `name` may not in fact be exported (e.g. by defining an `__all__` that does
  * not include `name`).
  */

Original file line number	Diff line number	Diff line change
`@@ -514,7 +514,7 @@ predicate jumpStep(Node nodeFrom, Node nodeTo) {`
`514`	`514`	`}`
`515`	`515`
`516`	`516`	`/**`
`517`		- * Holds if the module `m` defines a name `name` that by assigning `defn` to it. This is an
	`517`	+ * Holds if the module `m` defines a name `name` by assigning `defn` to it. This is an
`518`	`518`	* overapproximation, as `name` may not in fact be exported (e.g. by defining an `__all__` that does
`519`	`519`	* not include `name`).
`520`	`520`	`*/`