[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 19 Feb 2014 15:05:43 +0000 (16:05 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 19 Feb 2014 15:05:43 +0000 (16:05 +0100)
commitd7cb47b448ef3d183f006a2f5dd6ac1f77ec20ad
tree94007ca31ffee9d9fd74b827bfad76d2a7a60f45
parent53f697ee80c6c9bbc0bb575d4dfcb622f3a376cb
[multiple changes]

2014-02-19  Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb, sem_prag.adb, sem_attr.adb: Minor reformatting.
* debug.adb: Remove -gnatd.X switch, no longer used.
* styleg.adb (Check_Then): Remove check of -gnatd.X, check is
now always made.

2014-02-19  Bob Duff  <duff@adacore.com>

* g-socket.ads: Minor: Correct some comments.

From-SVN: r207907
gcc/ada/ChangeLog
gcc/ada/debug.adb
gcc/ada/g-socket.ads
gcc/ada/sem_attr.adb
gcc/ada/sem_ch5.adb
gcc/ada/sem_prag.adb
gcc/ada/styleg.adb