diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-06-22 09:47:02 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 11:47:02 +0200 |
| commit | 3bb91f983bc2d530e31ca3615cde2fb1c563005a (patch) | |
| tree | 3cd96afc28e73ca4467c5b9af0d037b6fc26cf56 /gcc/ada/sem_warn.adb | |
| parent | f9405b6348ba821cdc6a9d4c2e0e03050b16a0f9 (diff) | |
| download | gcc-3bb91f983bc2d530e31ca3615cde2fb1c563005a.zip gcc-3bb91f983bc2d530e31ca3615cde2fb1c563005a.tar.gz gcc-3bb91f983bc2d530e31ca3615cde2fb1c563005a.tar.bz2 | |
lib.ads: Code cleanup.
2016-06-22 Arnaud Charlet <charlet@adacore.com>
* lib.ads: Code cleanup.
* inline.adb: Type refinement for a counter variable.
* lib-xref-spark_specific.adb (Add_SPARK_File): removal of no-op code.
Code cleanup.
From-SVN: r237682
Diffstat (limited to 'gcc/ada/sem_warn.adb')
0 files changed, 0 insertions, 0 deletions