On Dec 20, 2019, at 8:13 AM, Olivier Hainque <hain...@adacore.com> wrote: > > This change adjusts a few scan-tree-dump expressions > to allow '$' as well as '.' when matching symbol names, > > Ok to commit ?
Ok.
On Dec 20, 2019, at 8:13 AM, Olivier Hainque <hain...@adacore.com> wrote: > > This change adjusts a few scan-tree-dump expressions > to allow '$' as well as '.' when matching symbol names, > > Ok to commit ?
Ok.