projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: def1564) | patch
[Ada] SPARK: minor error message enhancement
authorElisa Barboni <barboni@adacore.com>
Wed, 26 Sep 2018 09:20:10 +0000 (09:20 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 26 Sep 2018 09:20:10 +0000 (09:20 +0000)
commit1899cb68445dfc4726b17f3db81df0f2a41cb916
tree906c0a945e39c42af5df8ac6532e24228256c735tree | snapshot
parentdef15641da84fb82adfeb946c6d714683148e6e3commit | diff
[Ada] SPARK: minor error message enhancement

2018-09-26  Elisa Barboni  <barboni@adacore.com>

gcc/ada/

* sem_prag.adb (Check_Refined_Global_Item): Improve error
message.

From-SVN: r264637
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;