> On Nov 23, 2015, at 12:02 , Olivier Hainque <hain...@adacore.com> wrote:
> Then all the system.ads files will be updated with a correct value of the
> Frontend_Exceptions flags.

Here's the patch.

Attachment: eh-flags-rts.diff
Description: Binary data

Reply via email to