[Ada] Remove CodePeer annotation
authorArnaud Charlet <charlet@adacore.com>
Tue, 9 Oct 2018 15:05:04 +0000 (15:05 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 9 Oct 2018 15:05:04 +0000 (15:05 +0000)
commit0960ddad82fa68e895f59ddfc21e7c35586fa565
treec125d225ee1e55db7b6c933f5fe7dd9deec4ffcb
parent94a98e801a6889e791aee63fcdbb6ee173d0259e
[Ada] Remove CodePeer annotation

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

gcc/ada/

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

From-SVN: r264962
gcc/ada/ChangeLog
gcc/ada/vxlink.adb