r217876 - in /trunk/gcc/ada: ChangeLog s-osinte...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Nov 20 15:43:06 2014
New Revision: 217876

URL: https://gcc.gnu.org/viewcvs?rev=217876&root=gcc&view=rev
Log:
2014-11-20  Robert Dewar  <dewar@adacore.com>

	* sem_ch12.adb: Minor reformatting.

2014-11-20  Jerome Lambourg  <lambourg@adacore.com>

	* s-osinte-vxworks.ads: Add comments. Minor reformatting.

2014-11-20  Yannick Moy  <moy@adacore.com>

	* sem_prag.adb, sem_elab.adb: Minor rewording of error message in
	SPARK mode, for consistency.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/s-osinte-vxworks.ads
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_elab.adb
    trunk/gcc/ada/sem_prag.adb