tree ad4ee155a797cc9a04061de01dbbae84017a05c2
parent de2a1c20f44ae7f429640e21e1c3e63c140ffda5
author Davide Pesavento <davide.pesavento@lip6.fr> 1481499705 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1481685205 -0500

src: drop 'virtual' from functions marked 'final' or 'override'

Change-Id: Ieb6df864ab82f77b2bee9e83aa0bfa2005715950
Refs: #3857