2015-01-30 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 Jan 2015 14:59:21 +0000 (14:59 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 Jan 2015 14:59:21 +0000 (14:59 +0000)
commit0e71aace692084d236fa866bf36d2eecff92c6b4
treee0ba84fc74ec8b2a7354130d6403f4cdf0c82746
parentc1a66267e72348c5f0a34731181d3ae4b1b4a7ff
2015-01-30  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Analyze_Attribute): Ensure that
the check concerning Refined_Post takes precedence over the
other cases.

2015-01-30  Gary Dismukes  <dismukes@adacore.com>

* sem_prag.adb: Minor typo fixes and reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220282 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/sem_attr.adb
gcc/ada/sem_prag.adb