| commit | 64ac6fbc9a72f117f1bedc23b357fb5e82c31001 | |
| author | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:13:03 +0000 (26 09:13 +0000) | ||
| committer | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:13:03 +0000 (26 09:13 +0000) | ||
| tree | c032597a7981ede12903506bf3b574c45c270ed0 | treesnapshot (tar.gz zip) |
| parent | fa03de5c4871629bf857c016f3fba848970d5807 | commitdiff |
[Ada] Vxlink: kill a CodePeer warning
2018-09-26 Jerome Lambourg <lambourg@adacore.com>
gcc/ada/
* vxlink.adb: Kill a CodePeer warning.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264597 138bc75d-0d04-0410-961f-82ee72b054a4
2018-09-26 Jerome Lambourg <lambourg@adacore.com>
gcc/ada/
* vxlink.adb: Kill a CodePeer warning.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264597 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/vxlink.adb | diffblobblamehistory |