From 662c2ad47559312689a4e5f81f2eccdc577be858 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Wed, 30 Jul 2014 10:41:12 +0000 Subject: inline.adb, [...]: Minor reformatting. 2014-07-30 Robert Dewar * inline.adb, exp_ch4.adb, sinput.adb, sem_ch6.adb, sem_ch13.adb: Minor reformatting. From-SVN: r213244 --- gcc/ada/sem_ch13.adb | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'gcc/ada/sem_ch13.adb') diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 7012941..c7d039d 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -1186,7 +1186,7 @@ package body Sem_Ch13 is procedure Analyze_Aspect_Specifications (N : Node_Id; E : Entity_Id) is procedure Decorate (Asp : Node_Id; Prag : Node_Id); - -- Establish the linkages between an aspect and its corresponding + -- Establish linkages between an aspect and its corresponding -- pragma. procedure Insert_After_SPARK_Mode @@ -1195,9 +1195,8 @@ package body Sem_Ch13 is Decls : List_Id); -- Subsidiary to the analysis of aspects Abstract_State, Initializes, -- Initial_Condition and Refined_State. Insert node Prag before node - -- Ins_Nod. If Ins_Nod denotes pragma SPARK_Mode, then SPARK_Mode is - -- skipped. Decls is the associated declarative list where Prag is to - -- reside. + -- Ins_Nod. If Ins_Nod is for pragma SPARK_Mode, then skip SPARK_Mode. + -- Decls is the associated declarative list where Prag is to reside. procedure Insert_Pragma (Prag : Node_Id); -- Subsidiary to the analysis of aspects Attach_Handler, Contract_Cases, -- cgit v1.1