From c7a3b6543ed53abe495f3da0d509da48a9995ebf Mon Sep 17 00:00:00 2001
From: Kasper Svendsen <kaspersv@github.com>
Date: Thu, 10 Jul 2025 12:01:29 +0200
Subject: [PATCH] Address copilot comment

---
 ql/ql/src/codeql_ql/style/DeadCodeQuery.qll | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ql/ql/src/codeql_ql/style/DeadCodeQuery.qll b/ql/ql/src/codeql_ql/style/DeadCodeQuery.qll
index a5addc294cb..4098511e906 100644
--- a/ql/ql/src/codeql_ql/style/DeadCodeQuery.qll
+++ b/ql/ql/src/codeql_ql/style/DeadCodeQuery.qll
@@ -62,7 +62,7 @@ AstNode hackyShouldBeTreatedAsAlive() {
  */
 private AstNode alive() {
   //
-  // The 5 base cases.
+  // The 6 base cases.
   //
   // 1) everything that can be imported.
   result = publicApi()
@@ -80,7 +80,8 @@ private AstNode alive() {
   // 5) discard predicates
   result = discardPredicate()
   or
-  result instanceof TopLevel // toplevel is always alive.
+  // 6) toplevel is always alive.
+  result instanceof TopLevel
   or
   // recursive cases
   result = aliveStep(alive())