projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebea257) | patch
[Ada] Fix inconsistent documentation for the Contract_Cases pragma
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 24 May 2018 13:04:44 +0000 (13:04 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 24 May 2018 13:04:44 +0000 (13:04 +0000)
commit883ccddf496f6a6d037e72b49fee66878a11b1a1
treedb3d77a34497576092ad6e17d91374789d391539tree
parentebea257ee1195ce196ed005a7ee3a4b9e84117fbcommit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history