r235196 - in /trunk/gcc/ada: ChangeLog sem_ch6....

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Apr 19 13:03:49 2016
New Revision: 235196

URL: https://gcc.gnu.org/viewcvs?rev=235196&root=gcc&view=rev
Log:
2016-04-19  Arnaud Charlet  <charlet@adacore.com>

	* sem_ch6.adb (Process_Formals): Mark suspicious reference to
	SPARK RM in comment.
	* sem_prag.adb (Analyze_Global_Item): Fix reference to SPARK RM
	in comment.
	* sem_res.adb (Property_Error, Resolve_Actuals): Fix reference
	to SPARK RM in both comment and error message.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_res.adb