[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 14 Oct 2013 13:50:16 +0000 (15:50 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 14 Oct 2013 13:50:16 +0000 (15:50 +0200)
commit43dbd3e338b914681b7d8d90daef7caf5ea6b9fd
tree00f2cf694b13182947ff6c464c02656376e618d9
parent4248145849940945d7c74d0f86876f220bbab8a1
[multiple changes]

2013-10-14  Robert Dewar  <dewar@adacore.com>

* sem_aux.adb, sem_aux.ads, sem_prag.adb: Minor reformatting.

2013-10-14  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Actuals): Add error message for a
subprogram with an in-out parameter when used in a predicate,
to clarify subsequent error at the point of call.

From-SVN: r203558
gcc/ada/ChangeLog
gcc/ada/sem_aux.adb
gcc/ada/sem_aux.ads
gcc/ada/sem_prag.adb
gcc/ada/sem_res.adb