[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 10:50:12 +0000 (11:50 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 10:50:12 +0000 (11:50 +0100)
commitc607e6d50ef2dee78cdbf008f763c4098acb185a
tree861c65e61bc492b4acbb8cde73e9386fecd5dbcd
parent9c79f208a3b8ba3c84f5ced0279a79f2cac0f50b
[multiple changes]

2012-10-29  Arnaud Charlet  <charlet@adacore.com>

* usage.adb: Update usage line for -gnatw.k.

2012-10-29  Yannick Moy  <moy@adacore.com>

* sem_prag.adb: Code clean up.

From-SVN: r192924
gcc/ada/ChangeLog
gcc/ada/sem_prag.adb
gcc/ada/usage.adb