Minor reformatting.
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 09:24:53 +0000 (11:24 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 09:24:53 +0000 (11:24 +0200)
From-SVN: r177106

gcc/ada/sem_attr.adb
gcc/ada/sem_res.adb

index aadcb04be52547091947a79aaa08f8476f3ec3d4..c841288623377fc70168e5bcec42f1609d2a7686 100644 (file)
@@ -2064,7 +2064,7 @@ package body Sem_Attr is
       end if;
 
       --  In SPARK or ALFA, attributes of private types are only allowed if
-      --  the full type declaration is visible
+      --  the full type declaration is visible.
 
       if Formal_Verification_Mode
         and then Comes_From_Source (Original_Node (N))
index cc88f4315dcb9341156a776966437717536058eb..dc62ef7ab476fd050682d7b75b46dd8a42b69554 100644 (file)
@@ -7613,8 +7613,8 @@ package body Sem_Res is
               ("string operand for concatenation should be a literal", N);
          end if;
 
-         --  Do not issue error on an operand that is neither a character nor
-         --  a string, as the error is issued in Resolve_Op_Concat.
+      --  Do not issue error on an operand that is neither a character nor a
+      --  string, as the error is issued in Resolve_Op_Concat.
 
       else
          null;