spelling: whether

jsoref · jsoref · commit 5765a71d90c6 · 2022-10-13T11:21:10.000-04:00
Signed-off-by: Josh Soref &lt;2119212+jsoref@users.noreply.github.com&gt;
diff --git a/python/ql/src/semmle/python/functions/ModificationOfParameterWithDefaultCustomizations.qll b/python/ql/src/semmle/python/functions/ModificationOfParameterWithDefaultCustomizations.qll
@@ -33,7 +33,7 @@ module ModificationOfParameterWithDefault {
    * should determine if the node (which is perhaps about to be modified)
    * can be the default value or not.
    *
-   * In this query we do not track the default value exactly, but rather wheter
+   * In this query we do not track the default value exactly, but rather whether
    * it is empty or not (see `Source`).
    *
    * This is the extension point for determining that a node must be empty and
@@ -46,7 +46,7 @@ module ModificationOfParameterWithDefault {
    * should determine if the node (which is perhaps about to be modified)
    * can be the default value or not.
    *
-   * In this query we do not track the default value exactly, but rather wheter
+   * In this query we do not track the default value exactly, but rather whether
    * it is empty or not (see `Source`).
    *
    * This is the extension point for determining that a node must be non-empty

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ module ModificationOfParameterWithDefault {`
`33`	`33`	`* should determine if the node (which is perhaps about to be modified)`
`34`	`34`	`* can be the default value or not.`
`35`	`35`	`*`
`36`		`- * In this query we do not track the default value exactly, but rather wheter`
	`36`	`+ * In this query we do not track the default value exactly, but rather whether`
`37`	`37`	* it is empty or not (see `Source`).
`38`	`38`	`*`
`39`	`39`	`* This is the extension point for determining that a node must be empty and`
`@@ -46,7 +46,7 @@ module ModificationOfParameterWithDefault {`
`46`	`46`	`* should determine if the node (which is perhaps about to be modified)`
`47`	`47`	`* can be the default value or not.`
`48`	`48`	`*`
`49`		`- * In this query we do not track the default value exactly, but rather wheter`
	`49`	`+ * In this query we do not track the default value exactly, but rather whether`
`50`	`50`	* it is empty or not (see `Source`).
`51`	`51`	`*`
`52`	`52`	`* This is the extension point for determining that a node must be non-empty`