These switches are indeed not available in 3.15. You can remove them, they are just giving a few additional warnings. The important flag is -gnatg which will catch most issues. Arno