r177246 - in /trunk/gcc/ada: ChangeLog prj-tree...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Aug  3 09:27:50 2011
New Revision: 177246

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177246
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/prj-tree.ads
    trunk/gcc/ada/restrict.adb