projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 177d2b7) | patch
aspects.ads, [...]: Removal of references to Contract_Case.
authorYannick Moy <moy@adacore.com>
Mon, 22 Apr 2013 10:38:57 +0000 (10:38 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 22 Apr 2013 10:38:57 +0000 (12:38 +0200)
commit541fb4d9bc40ec95eaba46fc2474067b296f1680
tree113066377f890ebe15d69d67e33bbc38b6868188tree
parent177d2b74b56c0f67c2746a270d86ceb58f7fbecacommit | diff
aspects.ads, [...]: Removal of references to Contract_Case.

2013-04-22  Yannick Moy  <moy@adacore.com>

* aspects.ads, aspects.adb, sem_ch13.adb: Removal of references to
Contract_Case.
* gnat_ugn.texi, gnat_rm.texi Description of Contract_Case replaced by
description of Contract_Cases.

From-SVN: r198127
gcc/ada/ChangeLog diff | blob | history
gcc/ada/aspects.adb diff | blob | history
gcc/ada/aspects.ads diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history