2012-10-01 Robert Dewar <dewar@adacore.com>

	* checks.ads: Minor reformatting.

2012-10-01  Yannick Moy  <moy@adacore.com>

	* types.ads, sem_prag.adb, sem.ads: Correct minor typos in comments.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191897 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 9 insertions, 9 deletions

diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads
index f219b923668..da6eb52c228 100644
--- a/gcc/ada/sem.ads
+++ b/gcc/ada/sem.ads
@@ -291,10 +291,10 @@ package Sem is
 
    --  Scope based suppress checks for the predefined checks (from initial
    --  command line arguments, or from Suppress pragmas not including an entity
-   --  entity name) are recorded in the Sem.Suppress variable, and all that is
-   --  necessary is to save the state of this variable on scope entry, and
-   --  restore it on scope exit. This mechanism allows for fast checking of
-   --  the scope suppress state without needing complex data structures.
+   --  name) are recorded in the Sem.Scope_Suppress variable, and all that
+   --  is necessary is to save the state of this variable on scope entry, and
+   --  restore it on scope exit. This mechanism allows for fast checking of the
+   --  scope suppress state without needing complex data structures.
 
    --  Entity based checks, from Suppress/Unsuppress pragmas giving an
    --  Entity_Id and scope based checks for non-predefined checks (introduced
@@ -322,11 +322,11 @@ package Sem is
    --  This variable contains the current scope based settings of the suppress
    --  switches. It is initialized from Suppress_Options in Gnat1drv, and then
    --  modified by pragma Suppress. On entry to each scope, the current setting
-   --  is saved the scope stack, and then restored on exit from the scope. This
-   --  record may be rapidly checked to determine the current status of a check
-   --  if no specific entity is involved or if the specific entity involved is
-   --  one for which no specific Suppress/Unsuppress pragma has been set (as
-   --  indicated by the Checks_May_Be_Suppressed flag being set).
+   --  is saved on the scope stack, and then restored on exit from the scope.
+   --  This record may be rapidly checked to determine the current status of
+   --  a check if no specific entity is involved or if the specific entity
+   --  involved is one for which no specific Suppress/Unsuppress pragma has
+   --  been set (as indicated by the Checks_May_Be_Suppressed flag being set).
 
    --  This scheme is a little complex, but serves the purpose of enabling
    --  a very rapid check in the common case where no entity specific pragma