r210701 - in /trunk/gcc/ada: ChangeLog lib-xref...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed May 21 12:59:01 2014
New Revision: 210701

URL: http://gcc.gnu.org/viewcvs?rev=210701&root=gcc&view=rev
Log:
2014-05-21  Robert Dewar  <dewar@adacore.com>

	* sem_ch13.adb: Minor reformatting.
	* lib-xref-spark_specific.adb, sem_util.adb: Minor reformatting.
	* sem_prag.adb: Minor error message improvement.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_util.adb