virtual dtor for ParseTreeProperty#2426

Merged

parrt merged 2 commits intoantlr:masterfrom

hannemann-tamas:master

Nov 30, 2018

Commits on Nov 29, 2018

added virtual dtor to polymorphic class template ParseTreeProperty
hannemann-tamas
committed
added virtual dtor to polymorphic class template ParseTreeProperty and added myself as contributor
hannemann-tamas
committed