]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Minor editorial corrections and reformatting
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 3 Jul 2019 08:15:39 +0000 (08:15 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 3 Jul 2019 08:15:39 +0000 (08:15 +0000)
commit8699de72dcee7eb0a448d4570837a12449788772
treee94ee49705a2fa9ac3694bcc63fb6f3d9655aec2
parent2ccf6539224f357092030b061e2edf769c80c39f
[Ada] Minor editorial corrections and reformatting

2019-07-03  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

* bindo-augmentors.adb, bindo-augmentors.ads,
bindo-builders.ads, bindo-elaborators.adb, sem_ch12.adb,
sem_ch13.adb, sem_spark.adb, sinfo.ads: Minor editorial
corrections and reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@272979 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/bindo-augmentors.adb
gcc/ada/bindo-augmentors.ads
gcc/ada/bindo-builders.ads
gcc/ada/bindo-elaborators.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_spark.adb
gcc/ada/sinfo.ads