> 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.
eh-flags-rts.diff
Description: Binary data
> 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.
eh-flags-rts.diff
Description: Binary data