tree d3d7d57546440ac4682b84516c175376d21d7a8e
parent fe24bf84129d71569d13af918a394ccc9c56a999
author Davide Pesavento <davidepesa@gmail.com> 1612572064 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1612683666 -0500

regex: remove unnecessary virtual function

Refs: #5144
Change-Id: Ib587b14acf763ae366e4b8c18938d2c23a196eaf