From 8bd2effeffbb68976ae9a1da86bf381859c9ab40 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 30 Mar 2026 15:33:25 +0000
Subject: [PATCH] Fix overlay annotation in ControlFlowGraphShared.qll

Agent-Logs-Url: https://github.com/github/codeql/sessions/011f8465-5ad3-44e2-9d84-f5314ea1afb2

Co-authored-by: owen-mc <62447351+owen-mc@users.noreply.github.com>
---
 go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll
index 70be225eff3..389274be215 100644
--- a/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll
+++ b/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll
@@ -4,7 +4,7 @@
  * Everything is wrapped in `GoCfg` to avoid name conflicts with the existing
  * CFG implementation during the transition.
  */
-overlay[local?]
+overlay[local]
 module;
 
 private import codeql.controlflow.ControlFlowGraph as CfgLib