Code cleanup.
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 19 Jan 2017 13:14:04 +0000 (14:14 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 19 Jan 2017 13:14:04 +0000 (14:14 +0100)
commit332429c807f56de7948885368277723a7a5ac0ac
tree1a9c1687acacfdc07e3eca81776e3635d83c445d
parent7c323fbe3bdff58d4081e4706d24c17f4bb36f8a
Code cleanup.

From-SVN: r244634
gcc/ada/contracts.adb