diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-19 17:31:20 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-19 17:31:20 +0100 |
| commit | 119e3be6ca8ad32ed4cb683a5d1f7ae0b7279a8a (patch) | |
| tree | 22e0379c0f58d394a21ff19982fbaeba29ea359c /gcc/ada/make.adb | |
| parent | 78c0f016063f856d4d35ba5591fbe825d7ab6544 (diff) | |
| download | gcc-119e3be6ca8ad32ed4cb683a5d1f7ae0b7279a8a.zip gcc-119e3be6ca8ad32ed4cb683a5d1f7ae0b7279a8a.tar.gz gcc-119e3be6ca8ad32ed4cb683a5d1f7ae0b7279a8a.tar.bz2 | |
[multiple changes]
2012-03-19 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Check_Subprogram_Contract): Do not emit warnings
on trivially True or False postconditions and Ensures components
of contract-cases.
2012-03-19 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Fix index entry for -gnatei (now we have
ug_words entry).
From-SVN: r185527
Diffstat (limited to 'gcc/ada/make.adb')
0 files changed, 0 insertions, 0 deletions