> On Nov 23, 2015, at 12:02 , Olivier Hainque <hainque@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.