Minor tweaks
commita8046b9eb77e3982dc88ae70b339b54b61a83305
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 16 Jun 2014 08:08:52 +0000 (16 08:08 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 16 Jun 2014 08:08:52 +0000 (16 08:08 +0000)
tree4b057197e3ea64ca1262b8cdcf00f9d151b42a5c
parente8403abd0aa13b7b792d6ebe295b3d68406839ca
Minor tweaks

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