r177258 - in /trunk/gcc/ada: ChangeLog prj-pp.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Aug  3 10:04:04 2011
New Revision: 177258

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177258
Log:
2011-08-03  Emmanuel Briot  <briot@adacore.com>

	* prj-pp.adb (Pretty_Print): remove trailing blank line in the file

2011-08-03  Javier Miranda  <miranda@adacore.com>

	* sem_aux.adb (Is_VM_By_Copy_Actual): Fix wrong use of
	Tagged_Type_Expansion.

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

	* sem_res.adb
	(Resolve_Op_Concat_Arg): do not issue a SPARK violation when argument of
	concatenation is the name of a constant


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/prj-pp.adb
    trunk/gcc/ada/sem_aux.adb
    trunk/gcc/ada/sem_res.adb