From 81977f11a10da519b1fb2adc1342690b585b8b91 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Thu, 5 Feb 2026 08:59:28 +0100
Subject: [PATCH] Cfg: qldoc + overlay fixups.

---
 shared/controlflow/codeql/controlflow/PrintGraph.qll | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/shared/controlflow/codeql/controlflow/PrintGraph.qll b/shared/controlflow/codeql/controlflow/PrintGraph.qll
index 635b671888f..c4a942feab2 100644
--- a/shared/controlflow/codeql/controlflow/PrintGraph.qll
+++ b/shared/controlflow/codeql/controlflow/PrintGraph.qll
@@ -3,6 +3,8 @@
  * CFG" query. Also provides modules for printing control flow graphs in tests
  * and as Mermaid diagrams.
  */
+overlay[local?]
+module;
 
 private import codeql.util.FileSystem
 private import codeql.util.Location
@@ -22,6 +24,7 @@ signature module InputSig<LocationSig Location> {
   ControlFlowNode getASuccessor(ControlFlowNode n, SuccessorType t);
 }
 
+/** Provides modules for printing control flow graphs. */
 module PrintGraph<LocationSig Location, InputSig<Location> Input> {
   private import Input