diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-05-24 13:04:44 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-24 13:04:44 +0000 |
| commit | 883ccddf496f6a6d037e72b49fee66878a11b1a1 (patch) | |
| tree | db3d77a34497576092ad6e17d91374789d391539 /gcc/double-int.c | |
| parent | ebea257ee1195ce196ed005a7ee3a4b9e84117fb (diff) | |
| download | gcc-883ccddf496f6a6d037e72b49fee66878a11b1a1.zip gcc-883ccddf496f6a6d037e72b49fee66878a11b1a1.tar.gz gcc-883ccddf496f6a6d037e72b49fee66878a11b1a1.tar.bz2 | |
[Ada] Fix inconsistent documentation for the Contract_Cases pragma
This patch propagates the renaming from "condition" to "case guard" in the
contract grammar to the paragraphs that describe the pragma semantics.
2018-05-24 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst (Contract_Cases):
Change "condition" to "case guard" after renaming in the contract
grammar.
* gnat_rm.texi: Regenerate.
From-SVN: r260647
Diffstat (limited to 'gcc/double-int.c')
0 files changed, 0 insertions, 0 deletions