C++: Remove reundant override

This commit is contained in:
Ian Lynagh
2018-09-03 18:12:30 +01:00
parent d4f9b5eb52
commit 4230adbca2

View File

@@ -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()
}