Minor reformatting.

From-SVN: r247138

diff --git a/gcc/ada/rtsfind.adb b/gcc/ada/rtsfind.adb
index 39f4654e3e7c2b937b8a13a3b2d79aa821dec3c3..40d6cfc16ab521b3c46d41fce3e2250b82f73294 100644 (file)
--- a/gcc/ada/rtsfind.adb
+++ b/gcc/ada/rtsfind.adb
@@ -1657,6 +1657,7 @@ package body Rtsfind is
       pragma Assert (GNATprove_Mode);
 
       --  Force loading of a predefined unit
+
       Unused := RTE (E);
    end SPARK_Implicit_Load;
 

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index ac1e02cfee3b9ce4a7dc5999c05b7dfb25110ba5..e796ab3dbf43c4ccb7666e47dae8da45a9013894 100644 (file)
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -12688,7 +12688,6 @@ package body Sem_Ch13 is
          E : Entity_Id;
 
       begin
-
          --  Types with nameable components are records and discriminated
          --  private types.
 
@@ -12705,7 +12704,7 @@ package body Sem_Ch13 is
             end loop;
          end if;
 
-         --  Nothing by that name, or type has no components.
+         --  Nothing by that name, or the type has no components
 
          return Empty;
       end Visible_Component;

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index de7c92a6dc7beeaa54150f0163d82bd7d418f54a..b07730a0d90593625df932c0e899be2dab43322e 100644 (file)
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -1391,8 +1391,8 @@ package body Sem_Ch6 is
 
       Null_Body :=
         Make_Subprogram_Body (Loc,
-          Specification => New_Copy_Tree (Spec),
-          Declarations  => New_List,
+          Specification              => New_Copy_Tree (Spec),
+          Declarations               => New_List,
           Handled_Statement_Sequence =>
             Make_Handled_Sequence_Of_Statements (Loc,
               Statements => New_List (Null_Stmt)));
@@ -1430,24 +1430,24 @@ package body Sem_Ch6 is
          return;
 
       else
-         --  Resolve the types of the formals now, because the freeze point
-         --  may appear in a different context, e.g. an instantiation.
+         --  Resolve the types of the formals now, because the freeze point may
+         --  appear in a different context, e.g. an instantiation.
 
          Form := First (Parameter_Specifications (Specification (Null_Body)));
          while Present (Form) loop
             if Nkind (Parameter_Type (Form)) /= N_Access_Definition then
                Find_Type (Parameter_Type (Form));
 
-            elsif
-              No (Access_To_Subprogram_Definition (Parameter_Type (Form)))
+            elsif No (Access_To_Subprogram_Definition
+                       (Parameter_Type (Form)))
             then
                Find_Type (Subtype_Mark (Parameter_Type (Form)));
 
-            else
-               --  The case of a null procedure with a formal that is an
-               --  access_to_subprogram type, and that is used as an actual
-               --  in an instantiation is left to the enthusiastic reader.
+            --  The case of a null procedure with a formal that is an
+            --  access-to-subprogram type, and that is used as an actual
+            --  in an instantiation is left to the enthusiastic reader.
 
+            else
                null;
             end if;
 
@@ -1455,8 +1455,8 @@ package body Sem_Ch6 is
          end loop;
       end if;
 
-      --  If there are previous overloadable entities with the same name,
-      --  check whether any of them is completed by the null procedure.
+      --  If there are previous overloadable entities with the same name, check
+      --  whether any of them is completed by the null procedure.
 
       if Present (Prev) and then Is_Overloadable (Prev) then
          Designator := Analyze_Subprogram_Specification (Spec);