From cff886177f250feda4083654c2d91c8a423889d5 Mon Sep 17 00:00:00 2001 From: Philip Ginsbach Date: Mon, 3 Jul 2023 08:59:57 +0100 Subject: [PATCH] Update docs/codeql/ql-language-reference/ql-language-specification.rst Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com> --- docs/codeql/ql-language-reference/ql-language-specification.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/codeql/ql-language-reference/ql-language-specification.rst b/docs/codeql/ql-language-reference/ql-language-specification.rst index c87fe76401d..04cddf80a87 100644 --- a/docs/codeql/ql-language-reference/ql-language-specification.rst +++ b/docs/codeql/ql-language-reference/ql-language-specification.rst @@ -970,7 +970,7 @@ A class adds a mapping from the class name to the class declaration to the curre A valid class can be annotated with ``abstract``, ``final``, ``library``, and ``private``. Any other annotation renders the class invalid. -A valid class may not inherit from itself, or from more than one primitive type. The set of types that a valid class inherits from must be disjunct from the set of types that it final inherits from. +A valid class may not inherit from itself, or from more than one primitive type. The set of types that a valid class inherits from must be disjoint from the set of types that it final inherits from. A valid class must have at least one base type or instanceof type.