Update docs/codeql/ql-language-reference/types.rst

Co-authored-by: Nick Rolfe <[email protected]>

Author: ginsbach

docs/codeql/ql-language-reference/types.rst

@@ -388,7 +388,7 @@ Non-extending subtypes
 ======================
 
 Besides extending base types, classes can also declare `instanceof` relationships with other types.
-Declaring a class as `instanceof Foo` is roughly equivalent to saying `this instanceof Foo` the charpred.
+Declaring a class as `instanceof Foo` is roughly equivalent to saying `this instanceof Foo` in the characteristic predicate.
 The main differences are that you can call methods on Bar via `super` and you can get better optimisation.
 
 .. code-block:: ql