[Ada] Remove use of debug flag -gnatdF for GNATprove
authorYannick Moy <moy@adacore.com>
Tue, 26 May 2020 08:15:18 +0000 (10:15 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 10 Jul 2020 09:16:16 +0000 (05:16 -0400)
commitc24633fbbb88d0032008ab012e2e3204b9405ec4
treecb765a48ce1e26815ae3ac6734921e46c8c2ee02
parenta9d72b1bcfc86f7dbd0e82dd8b44a6eb513cad3b
[Ada] Remove use of debug flag -gnatdF for GNATprove

gcc/ada/

* debug.adb: Update comments to free usage of -gnatdF.
gcc/ada/debug.adb