Minor tweaks
commit387e31168a452e925e1ec033f78fd4f2129cce08
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 15 Apr 2014 08:16:10 +0000 (15 08:16 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 15 Apr 2014 08:16:10 +0000 (15 08:16 +0000)
treecde425807abe4f222cc05981f935a50c371d5d33
parent235620e56e4fd809c0e3e87f3d28f7e4eee9a0e0
Minor tweaks

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