diff options
| author | Yannick Moy <moy@adacore.com> | 2013-04-24 14:37:37 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:37:37 +0200 |
| commit | 8a8ac7e3bd0d316ec3f809e29574e9900847d26a (patch) | |
| tree | 03e28025498e90c0ae683b69533fd9d37a233db9 /gcc/ada/krunch.ads | |
| parent | dd3b3672c49e3cee97fdd35d5c72c849af952862 (diff) | |
| download | gcc-8a8ac7e3bd0d316ec3f809e29574e9900847d26a.zip gcc-8a8ac7e3bd0d316ec3f809e29574e9900847d26a.tar.gz gcc-8a8ac7e3bd0d316ec3f809e29574e9900847d26a.tar.bz2 | |
snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration pragma.
2013-04-24 Yannick Moy <moy@adacore.com>
* snames.ads-tmpl: Minor change to list
Loop_(In)variant not in configuration pragma.
* sem_ch3.adb (Analyze_Declarations): Do not look at the original node
for analyzing the expressions in pre/postconditions.
From-SVN: r198239
Diffstat (limited to 'gcc/ada/krunch.ads')
0 files changed, 0 insertions, 0 deletions