Code cleanups.
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jan 2017 10:39:38 +0000 (11:39 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jan 2017 10:39:38 +0000 (11:39 +0100)
commit3603fa5cfb32ced1402f31b174a3023826745160
treee6760add6c9c6fce7091b39302201823702914ee
parent3abbc5c2409fae926307f5321debdf6191cd2152
Code cleanups.

From-SVN: r244412
gcc/ada/contracts.adb
gcc/ada/contracts.ads