[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 1 Oct 2012 08:30:49 +0000 (10:30 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 1 Oct 2012 08:30:49 +0000 (10:30 +0200)
commit3f5e1e076e44c9af6920085e52c170f40cd73ae3
treed8ac9831b4a2ca7cd48c070ef27d4e70565995d6
parent05b34c1837a1170b534e532801b0ac8126726e66
[multiple changes]

2012-10-01  Robert Dewar  <dewar@adacore.com>

* checks.ads: Minor reformatting.

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

* types.ads, sem_prag.adb, sem.ads: Correct minor typos in comments.

From-SVN: r191897
gcc/ada/ChangeLog
gcc/ada/checks.ads
gcc/ada/sem.ads
gcc/ada/sem_prag.adb
gcc/ada/types.ads