C++: Remove reundant override

ian-semmle · ian-semmle · commit 4230adbca293 · 2018-09-03T18:12:30.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/Type.qll b/cpp/ql/src/semmle/code/cpp/Type.qll
@@ -1155,8 +1155,6 @@ class TemplateParameter extends UserType
 {
   TemplateParameter() { usertypes(underlyingElement(this), _, 7) or usertypes(underlyingElement(this), _, 8) }
 
-  override string getName() { usertypes(underlyingElement(this), result, _) }
-
   override predicate involvesTemplateParameter() {
     any()
   }

Original file line number	Diff line number	Diff line change
`@@ -1155,8 +1155,6 @@ class TemplateParameter extends UserType`
`1155`	`1155`	`{`
`1156`	`1156`	`TemplateParameter() { usertypes(underlyingElement(this), _, 7) or usertypes(underlyingElement(this), _, 8) }`
`1157`	`1157`
`1158`		`- override string getName() { usertypes(underlyingElement(this), result, _) }`
`1159`		`-`
`1160`	`1158`	`override predicate involvesTemplateParameter() {`
`1161`	`1159`	`any()`
`1162`	`1160`	`}`