remove getName

GeekMasher · web-flow · commit 8d110ca2ac78 · 2023-07-12T17:12:08.000+01:00
diff --git a/go/ql/lib/semmle/go/frameworks/GoMicro.qll b/go/ql/lib/semmle/go/frameworks/GoMicro.qll
@@ -41,8 +41,6 @@ module GoMicro {
         this = md.getReceiverDecl().getTypeExpr().getAChild().(TypeName).getType()
       )
     }
-
-    override string getName() { result = this.getUnderlyingType().getName() }
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -41,8 +41,6 @@ module GoMicro {`
`41`	`41`	`this = md.getReceiverDecl().getTypeExpr().getAChild().(TypeName).getType()`
`42`	`42`	`)`
`43`	`43`	`}`
`44`		`-`
`45`		`- override string getName() { result = this.getUnderlyingType().getName() }`
`46`	`44`	`}`
`47`	`45`
`48`	`46`	`/**`