diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-04-19 13:03:49 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-19 15:03:49 +0200 |
| commit | db7e372172d0753acae272572f852eb6cd8135f4 (patch) | |
| tree | 156751bcb403797fe4197a74061a44b2508554c7 /gcc/ada/stringt.adb | |
| parent | 681014998bbfc9c4ec501aebbf197a6a78e9c197 (diff) | |
| download | gcc-db7e372172d0753acae272572f852eb6cd8135f4.zip gcc-db7e372172d0753acae272572f852eb6cd8135f4.tar.gz gcc-db7e372172d0753acae272572f852eb6cd8135f4.tar.bz2 | |
sem_ch6.adb (Process_Formals): Mark suspicious reference to SPARK RM in comment.
2016-04-19 Arnaud Charlet <charlet@adacore.com>
* sem_ch6.adb (Process_Formals): Mark suspicious reference to
SPARK RM in comment.
* sem_prag.adb (Analyze_Global_Item): Fix reference to SPARK RM
in comment.
* sem_res.adb (Property_Error, Resolve_Actuals): Fix reference
to SPARK RM in both comment and error message.
From-SVN: r235196
Diffstat (limited to 'gcc/ada/stringt.adb')
0 files changed, 0 insertions, 0 deletions