[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 30 Jan 2015 14:59:21 +0000 (15:59 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 30 Jan 2015 14:59:21 +0000 (15:59 +0100)
commit48b0da2d24cfd3c918f85007e569f69ccd4cf1c4
treee0ba84fc74ec8b2a7354130d6403f4cdf0c82746
parent95d0610c1730425dae8bfcb5a685bdc3c29c8ced
[multiple changes]

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.

From-SVN: r220282
gcc/ada/ChangeLog
gcc/ada/sem_attr.adb
gcc/ada/sem_prag.adb