2014-05-21 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 May 2014 12:59:01 +0000 (12:59 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 May 2014 12:59:01 +0000 (12:59 +0000)
commit4a87c5130ba82ca4049016d44810963497087978
treea9c4d05c4a3190c9a2def7a43a2c7ffcef3fa0a1
parent88e8d6dda992e276ed4bc175ec5c7fa5eacd8bed
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@210701 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/lib-xref-spark_specific.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb