projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ada9e08) | patch
2011-08-03 Emmanuel Briot <briot@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 3 Aug 2011 09:27:50 +0000 (09:27 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 3 Aug 2011 09:27:50 +0000 (09:27 +0000)
commit85c0927022511c14eccc3b9984d7b750922dedbc
treea033cb6d6b89984285bb89bb722e3dd9d276fca4tree | snapshot
parentada9e0827a135b796605b7175630e94c07d69ddccommit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177246 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | history
gcc/ada/prj-tree.ads diff | blob | history
gcc/ada/restrict.adb diff | blob | history
Domain: System / Toolchain;