[Ada] Remove CodePeer annotation
commit78a87b1065ef3812311a352acc39c7a20d2d7219
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 9 Oct 2018 15:05:04 +0000 (9 15:05 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 9 Oct 2018 15:05:04 +0000 (9 15:05 +0000)
treec125d225ee1e55db7b6c933f5fe7dd9deec4ffcb
parent95c1628619e7f9d80aab6b2f662ef4c603eb6d77
[Ada] Remove CodePeer annotation

2018-10-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* vxlink.adb: Remove pragma Annotate, no longer needed.

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