Code clean ups.
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 09:25:55 +0000 (11:25 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 09:25:55 +0000 (11:25 +0200)
commitbfda9ccde6ae7aad1d259e6ebc29fc8f0af3f154
tree620d0169e185f5c58d7e2fb05ea77b9573cb7c52
parentded462b0dea5615ac36e1256caffa5f2c7f5f1b8
Code clean ups.

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