diff options
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
-rw-r--r-- | gcc/ada/sem_ch6.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 8a86d4465b7..e1fe3bb73b7 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -2383,7 +2383,7 @@ package body Sem_Ch6 is begin pragma Assert (Nkind (From) = N_Subprogram_Body); - -- The destination node must be part of a list as the pragmas are + -- The destination node must be part of a list, as the pragmas are -- inserted after it. pragma Assert (Is_List_Member (To)); @@ -3576,7 +3576,7 @@ package body Sem_Ch6 is -- Set the SPARK_Mode from the current context (may be overwritten later -- with explicit pragma). Exclude the case where the SPARK_Mode appears - -- initially on a stand alone subprogram body, but is then relocated to + -- initially on a stand-alone subprogram body, but is then relocated to -- a generated corresponding spec. In this scenario the mode is shared -- between the spec and body. |