Update shared/typeinference/codeql/typeinference/internal/TypeInference.qll

hvitved · geoffw0 · web-flow · commit 1ec376073b96 · 2025-06-12T12:14:52.000+02:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -8,7 +8,7 @@
  * `TypePath` type, and `Make2`, which (using `TypePath` in the input signature)
  * constructs the `Matching` and `IsInstantiationOf` modules.
  *
- * The intended use of this library is define a predicate
+ * The intended use of this library is to define a predicate
  *
  * ```ql
  * Type inferType(AstNode n, TypePath path)

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`	* `TypePath` type, and `Make2`, which (using `TypePath` in the input signature)
`9`	`9`	* constructs the `Matching` and `IsInstantiationOf` modules.
`10`	`10`	`*`
`11`		`- * The intended use of this library is define a predicate`
	`11`	`+ * The intended use of this library is to define a predicate`
`12`	`12`	`*`
`13`	`13`	* ```ql
`14`	`14`	`* Type inferType(AstNode n, TypePath path)`