Minor tweaks
commitdd1828ff60fc74d40970ee8c06a2b2c8743ee4be
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 11 Oct 2016 10:37:24 +0000 (11 10:37 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 11 Oct 2016 10:37:24 +0000 (11 10:37 +0000)
treeedc193c787d652a7d17ef8f73bb360cca4424937
parent862c56bc021f08136648d20680c0033ef0d5ebe8
Minor tweaks

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@240988 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog