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/inline.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/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index b6db273..d205636 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -3868,7 +3868,7 @@ package body Inline is -- the body is an internal error. procedure Instantiate_Bodies is - J : Int; + J : Nat; Info : Pending_Body_Info; begin |