switch-c.adb, [...]: Minor reformatting.

2014-01-21  Robert Dewar  <dewar@adacore.com>

	* switch-c.adb, usage.adb, atree.adb, atree.ads: Minor reformatting.

From-SVN: r206872

gcc/ada/ChangeLog

+2014-01-21  Robert Dewar  <dewar@adacore.com>
+
+	* switch-c.adb, usage.adb, atree.adb, atree.ads: Minor reformatting.
+
 2014-01-21  Thomas Quinot  <quinot@adacore.com>
 
 	* atree.adb, atree.ads (Num_Extension_Nodes): Switch to Node_Id, since

gcc/ada/atree.adb

@@ -739,6 +739,7 @@ package body Atree is
 
       if Has_Extension (Source) then
          pragma Assert (Has_Extension (Destination));
+
          for J in 1 .. Num_Extension_Nodes loop
             Nodes.Table (Destination + J) := Nodes.Table (Source + J);
          end loop;

gcc/ada/atree.ads

@@ -75,7 +75,8 @@ package Atree is
 
    Num_Extension_Nodes : Node_Id := 5;
    --  This value is increased by one if debug flag -gnatd.N is set. This is
-   --  for testing performance impact of adding a new extension node.
+   --  for testing performance impact of adding a new extension node. We make
+   --  this of type Node_Id for easy reference in loops using this value.
 
    ----------------------------------------
    -- Definitions of Fields in Tree Node --

gcc/ada/switch-c.adb

@@ -663,8 +663,7 @@ package body Switch.C is
                   --  -gnateS (generate SCO information)
 
                   --  Include Source Coverage Obligation information in ALI
-                  --  files for the benefit of source coverage analysis tools
-                  --  (xcov).
+                  --  files for use by source coverage analysis tools (xcov).
 
                   when 's' =>
                      if not First_Switch then

gcc/ada/usage.adb

@@ -236,12 +236,10 @@ begin
    Write_Switch_Char ("eP");
    Write_Line ("Pure/Prelaborate errors generate warnings rather than errors");
 
-   if GNATprove_Mode then
-      --  Line for -gnates switch
+   --  Line for -gnates switch
 
-      Write_Switch_Char ("es=?");
-      Write_Line ("Specify extra switches for gnat2why");
-   end if;
+   Write_Switch_Char ("es=?");
+   Write_Line ("Specify extra switches for gnat2why");
 
    --  Line for -gnateS switch