From bd01d9250070971ae69b67a96010ece44b384138 Mon Sep 17 00:00:00 2001
From: Taus <tausbn@github.com>
Date: Wed, 13 Oct 2021 14:07:24 +0000
Subject: [PATCH] Fix "missing override" FPs

This brings the analysis back to the level it was at before the addition
of `instanceof`.
---
 ql/src/codeql_ql/ast/Ast.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ql/src/codeql_ql/ast/Ast.qll b/ql/src/codeql_ql/ast/Ast.qll
index 0d3ee7d1714..6be2f74e3e9 100644
--- a/ql/src/codeql_ql/ast/Ast.qll
+++ b/ql/src/codeql_ql/ast/Ast.qll
@@ -665,7 +665,7 @@ class Class extends TClass, TypeDeclaration, ModuleDeclaration {
   /**
    * Gets a super-type referenced in the `extends` part of the class declaration.
    */
-  TypeExpr getASuperType() { toGenerated(result) in [cls.getExtends(_), cls.getInstanceof(_)] }
+  TypeExpr getASuperType() { toGenerated(result) = cls.getExtends(_) }
 
   /** Gets the type that this class is defined to be an alias of. */
   TypeExpr getAliasType() {