Hi Mikael,
Sorry, I am replying to these in the order that they appear in my intray :-)
OK for mainline and, if you wish, 13-branch.
Thanks
Paul
On Tue, 19 Mar 2024 at 15:49, Mikael Morin wrote:
> Hello,
>
> these patches correct diagnostics dealing with variables in specification
> express
Hello,
these patches correct diagnostics dealing with variables in specification
expressions.
The first patch is a testsuite change, which fixes invalid specification
expressions that the second patch would diagnose.
The second patch removes a spurious diagnostic when a dummy procedure is
involved
