]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba2a49d) | patch
2016-04-19 Arnaud Charlet <charlet@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 Apr 2016 13:03:49 +0000 (13:03 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 Apr 2016 13:03:49 +0000 (13:03 +0000)
commit620d73c866ebf53e914de8335890031da2a73da9
tree156751bcb403797fe4197a74061a44b2508554c7tree
parentba2a49dd4d88c3cf446aa7917d00e34c9ad60634commit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235196 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/sem_ch6.adb diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git