fix typos

erik-krogh · erik-krogh · commit 236e6db9960a · 2022-12-20T13:54:02.000+01:00
diff --git a/shared/util/codeql/util/Either.qll b/shared/util/codeql/util/Either.qll
@@ -32,9 +32,9 @@ module Either<TypeWithToString Left, TypeWithToString Right> {
     Right asRight() { this = TRight(result) }
   }
 
-  /** Makes an `Either` from an instanceof of `Left` */
+  /** Makes an `Either` from an instance of `Left` */
   Left left(Left c) { result = c }
 
-  /** Makes an `Either` from an instanceof of `Right` */
+  /** Makes an `Either` from an instance of `Right` */
   Right right(Right c) { result = c }
 }

Original file line number	Diff line number	Diff line change
`@@ -32,9 +32,9 @@ module Either<TypeWithToString Left, TypeWithToString Right> {`
`32`	`32`	`Right asRight() { this = TRight(result) }`
`33`	`33`	`}`
`34`	`34`
`35`		- /** Makes an `Either` from an instanceof of `Left` */
	`35`	+ /** Makes an `Either` from an instance of `Left` */
`36`	`36`	`Left left(Left c) { result = c }`
`37`	`37`
`38`		- /** Makes an `Either` from an instanceof of `Right` */
	`38`	+ /** Makes an `Either` from an instance of `Right` */
`39`	`39`	`Right right(Right c) { result = c }`
`40`	`40`	`}`