From 3bb91f983bc2d530e31ca3615cde2fb1c563005a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 22 Jun 2016 09:47:02 +0000 Subject: lib.ads: Code cleanup. 2016-06-22 Arnaud Charlet * 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 --- 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 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 -- cgit v1.1