Code clean up.
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:39:28 +0000 (14:39 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:39:28 +0000 (14:39 +0200)
commitc16fa01e7ec8d1478e1f1f2e05fa15e9466add8a
tree6488311df9ce6db2ae739c0355750f551a367396
parent7738270b0ceda07f89c1dd2d75e31ae7bb4f2053
Code clean up.

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