[Ada] Improve documentation of pragma Abort_Defer
authorArnaud Charlet <charlet@adacore.com>
Fri, 28 Aug 2020 08:46:52 +0000 (04:46 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 23 Oct 2020 08:24:53 +0000 (04:24 -0400)
commit99d4c1b09bb902c59e9cdec56a09d3e7761b0d00
tree455fc22ec179934ed2c762c9297f9a9864985e03
parent6cc203bf2a78be88d60fd250617e0c652451b8aa
[Ada] Improve documentation of pragma Abort_Defer

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst: Improve
documentation of pragma Abort_Defer.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi