Change base class of GeneratedDeclaration to Modifiable

tamasvajk · tamasvajk · commit e93736f5830b · 2021-06-23T09:26:54.000+02:00
diff --git a/csharp/ql/src/Stubs/Stubs.qll b/csharp/ql/src/Stubs/Stubs.qll
@@ -160,8 +160,8 @@ abstract private class GeneratedType extends ValueOrRefType, GeneratedElement {
  * This is extended in client code to identify the actual
  * declarations that should be generated.
  */
-abstract class GeneratedDeclaration extends Declaration {
-  GeneratedDeclaration() { this.(Modifiable).isEffectivelyPublic() }
+abstract class GeneratedDeclaration extends Modifiable {
+  GeneratedDeclaration() { this.isEffectivelyPublic() }
 }
 
 private class IndirectType extends GeneratedType {
