projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a54ada2) | patch
2014-02-25 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 25 Feb 2014 14:51:20 +0000 (14:51 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 25 Feb 2014 14:51:20 +0000 (14:51 +0000)
commit6157aa559e0f82ecfc051c1d693d81bcad1fa359
tree9edf0484b14b61cff65747d0deca3ff77ed58e73tree | snapshot
parenta54ada245566f1cb2c21cb4e9267d5bd2fbc0c56commit | diff
2014-02-25  Yannick Moy  <moy@adacore.com>

* sem_ch3.adb, sem_ch5.adb, sem_prag.adb, sem_attr.adb, errout.ads,
sem_ch6.adb: Mark most references to SPARK RM in error messages
for removal.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208125 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | history
gcc/ada/errout.ads diff | blob | history
gcc/ada/sem_attr.adb diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_ch5.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;