Skip to content

Commit c7c3540

Browse files
committed
C#: Remove cartesian product in stubbing (GeneratedType::getStub)
1 parent b975e12 commit c7c3540

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

csharp/ql/src/Stubs/Stubs.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -128,6 +128,7 @@ abstract private class GeneratedType extends Type, GeneratedElement {
128128
/** Gets the entire C# stub code for this type. */
129129
pragma[nomagic]
130130
final string getStub(Assembly assembly) {
131+
this.isInAssembly(assembly) and
131132
if this.isDuplicate(assembly)
132133
then
133134
result =

0 commit comments

Comments
 (0)