[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:11:12 +0000 (14:11 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:11:12 +0000 (14:11 +0200)
commitca0b6141fa6a9c98939224ebc3b7ddc171df5b96
treeec75083ebd09c2e021f40d04d04b9092e0c5b95e
parent5f8d3dd5b33acad71225d815ef3389fbf6c5963d
[multiple changes]

2017-04-25  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb, exp_util.adb, sem_prag.adb, exp_ch4.adb: Minor
reformatting.

2017-04-25  Yannick Moy  <moy@adacore.com>

* a-ngelfu.adb, a-ngelfu.ads: Add SPARK_Mode On on spec, Off
on body.

From-SVN: r247207
gcc/ada/ChangeLog
gcc/ada/a-ngelfu.adb
gcc/ada/a-ngelfu.ads
gcc/ada/exp_ch4.adb
gcc/ada/exp_util.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_prag.adb