sem_type.adb, [...]: Minor reformatting

2008-08-04  Thomas Quinot  <quinot@adacore.com>

	* sem_type.adb, sem_ch4.adb, sprint.adb, exp_ch3.adb: Minor reformatting

From-SVN: r138635

diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index 92a5f8c3b60af02662248aa8eb29ce0a318a3861..e50ea0487b2b43c2436160a6c4139b7a2201d041 100644 (file)
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -1543,7 +1543,7 @@ package body Exp_Ch3 is
                end if;
             end if;
 
-            --  Ada 2005 (AI-287) In case of default initialized components,
+            --  Ada 2005 (AI-287): In case of default initialized components,
             --  we need to generate the corresponding selected component node
             --  to access the discriminant value. In other cases this is not
             --  required because we are inside the init proc and we use the

diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb
index cd3bb500099c2a215b4df3058df805177ab96d87..19afc8d8fa759a02d4c8fd2d1e8e42b48f4c0380 100644 (file)
--- a/gcc/ada/sem_ch4.adb
+++ b/gcc/ada/sem_ch4.adb
@@ -498,7 +498,7 @@ package body Sem_Ch4 is
             Set_Directly_Designated_Type (Acc_Type, Type_Id);
             Check_Fully_Declared (Type_Id, N);
 
-            --  Ada 2005 (AI-231) If the designated type is itself an access
+            --  Ada 2005 (AI-231): If the designated type is itself an access
             --  type that excludes null, it's default initializastion will
             --  be a null object, and we can insert an unconditional raise
             --  before the allocator.

diff --git a/gcc/ada/sem_type.adb b/gcc/ada/sem_type.adb
index bdd1c388220bf1e1f45783e837e6b1021ae7191b..3ca2e5354780d067f6d2ee19e275fdea57638d9a 100644 (file)
--- a/gcc/ada/sem_type.adb
+++ b/gcc/ada/sem_type.adb
@@ -2101,7 +2101,7 @@ package body Sem_Type is
          return
            Covers (Typ, Etype (N))
 
-            --  Ada 2005 (AI-345) The context may be a synchronized interface.
+            --  Ada 2005 (AI-345): The context may be a synchronized interface.
             --  If the type is already frozen use the corresponding_record
             --  to check whether it is a proper descendant.
 

diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb
index 4306ce41450a38b6c369949cf215cd3efd03f82c..ad20565574fa803c0f409fc1a572e56663c94603 100644 (file)
--- a/gcc/ada/sprint.adb
+++ b/gcc/ada/sprint.adb
@@ -2334,10 +2334,9 @@ package body Sprint is
                   Write_Str_With_Col_Check ("out ");
                end if;
 
-               --  Ada 2005 (AI-231) parameter specification may carry
-               --  null exclusion. Do not print it now if this is an
-               --  access parameter, it is emitted when the access
-               --  definition is displayed.
+               --  Ada 2005 (AI-231): Parameter specification may carry null
+               --  exclusion. Do not print it now if this is an access formal,
+               --  it is emitted when the access definition is displayed.
 
                if Null_Exclusion_Present (Node)
                  and then Nkind (Parameter_Type (Node))