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 { ControlFlowNode getASuccessor(ControlFlowNode n, SuccessorType t); } +/** Provides modules for printing control flow graphs. */ module PrintGraph Input> { private import Input