diff options
| author | Jerome Lambourg <lambourg@adacore.com> | 2018-09-26 09:13:03 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:13:03 +0000 |
| commit | 539866048e546c696afbb49d4366fe6477f50130 (patch) | |
| tree | c032597a7981ede12903506bf3b574c45c270ed0 /gcc/ada/contracts.adb | |
| parent | 9464ed971f63a98ecbd07a4cdb69c1624a33b4db (diff) | |
| download | gcc-539866048e546c696afbb49d4366fe6477f50130.zip gcc-539866048e546c696afbb49d4366fe6477f50130.tar.gz gcc-539866048e546c696afbb49d4366fe6477f50130.tar.bz2 | |
[Ada] Vxlink: kill a CodePeer warning
2018-09-26 Jerome Lambourg <lambourg@adacore.com>
gcc/ada/
* vxlink.adb: Kill a CodePeer warning.
From-SVN: r264597
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions