From 7eaf44741220f92addb3811fc69c3354b28e56cf Mon Sep 17 00:00:00 2001
From: charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 22 Jun 2016 09:47:02 +0000
Subject: 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
---
 gcc/ada/inline.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gcc/ada/inline.adb')

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
-- 
cgit v1.2.1