tree f3495d73c641695715d9c713fe59a1b5ea87e5dd
parent 3ed6247de381ab623564ea1915851b4246e05715
author Davide Pesavento <davide.pesavento@lip6.fr> 1481489173 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1481685179 -0500

code-style: don't suggest to use virtual with final and override

Change-Id: I9f6b60cc6cb5679682916b5bee97598703b654f4
Refs: #3857