From: Arnaud Charlet Date: Tue, 2 Aug 2011 09:24:53 +0000 (+0200) Subject: Minor reformatting. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9e4854155a5c0c4752c5be2e2ba1b2d9c101f9f;p=gcc.git Minor reformatting. From-SVN: r177106 --- diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index aadcb04be52..c8412886233 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -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)) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index cc88f4315dc..dc62ef7ab47 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -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;