projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ee646d) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 3 Aug 2011 09:27:50 +0000 (11:27 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 3 Aug 2011 09:27:50 +0000 (11:27 +0200)
commitc565bc662885e6499424f898701924445d62c2f7
treea033cb6d6b89984285bb89bb722e3dd9d276fca4tree
parent4ee646da946cc32932a71e3675898043d2e905c0commit | diff
[multiple changes]

2011-08-03  Emmanuel Briot  <briot@adacore.com>

* prj-tree.ads: Remove unused variable.

2011-08-03  Yannick Moy  <moy@adacore.com>

* restrict.adb (Restriction_Msg): set "SPARK" all in upper case for
issuing messages related to SPARK restriction violation.

From-SVN: r177246
gcc/ada/ChangeLog diff | blob | history
gcc/ada/prj-tree.ads diff | blob | history
gcc/ada/restrict.adb diff | blob | history