Code clean ups.
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 Oct 2015 11:29:34 +0000 (12:29 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 Oct 2015 11:29:34 +0000 (12:29 +0100)
commite310115eb98540ab7c1e099a15f6c66dd76450b7
tree9c7d8ff583c0a37ec1798f9226fc7014fd550d53
parentca7e6c2640e197797b544a7238d1e362f85c2921
Code clean ups.

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