Minor tweaks
commit64e763ae998c8978a6724e3224273b7284774f19
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 20 Jul 2017 12:54:42 +0000 (20 12:54 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 20 Jul 2017 12:54:42 +0000 (20 12:54 +0000)
treede050a0a999e295474ec56ead0f398ca8c8e74bd
parenta0a594a5441f10b085292ce79afc763315d077d3
Minor tweaks

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