Skip to content

Commit 433e373

Browse files
committed
C#: Remove restriction in CFG implementation to work with stubs
1 parent 9983c1c commit 433e373

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ newtype CompilationExt =
7171
TBuildless() { extractionIsStandalone() }
7272

7373
/** Gets the compilation that source file `f` belongs to. */
74-
CompilationExt getCompilation(SourceFile f) {
74+
CompilationExt getCompilation(File f) {
7575
exists(Compilation c |
7676
f = c.getAFileCompiled() and
7777
result = TCompilation(c)

0 commit comments

Comments
 (0)