diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-06-22 09:47:02 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-06-22 09:47:02 +0000 |
| commit | 7eaf44741220f92addb3811fc69c3354b28e56cf (patch) | |
| tree | 3cd96afc28e73ca4467c5b9af0d037b6fc26cf56 /gcc/ada/inline.adb | |
| parent | e522022a525467c47723de8e314cbee92315c010 (diff) | |
| download | gcc-7eaf44741220f92addb3811fc69c3354b28e56cf.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237682 138bc75d-0d04-0410-961f-82ee72b054a4
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 b6db273430e..d205636be03 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 |