diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-07-30 10:41:12 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:41:12 +0200 |
| commit | 662c2ad47559312689a4e5f81f2eccdc577be858 (patch) | |
| tree | 713ee01437c9612f7a87b4ab8bce11908167ecee /gcc/ada/sem_ch13.adb | |
| parent | 4e6768ab35cfedef2d35a51ba06857d6631c3715 (diff) | |
| download | gcc-662c2ad47559312689a4e5f81f2eccdc577be858.zip gcc-662c2ad47559312689a4e5f81f2eccdc577be858.tar.gz gcc-662c2ad47559312689a4e5f81f2eccdc577be858.tar.bz2 | |
inline.adb, [...]: Minor reformatting.
2014-07-30 Robert Dewar <dewar@adacore.com>
* inline.adb, exp_ch4.adb, sinput.adb, sem_ch6.adb, sem_ch13.adb:
Minor reformatting.
From-SVN: r213244
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 7 |
1 files changed, 3 insertions, 4 deletions
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, |