From b9e4854155a5c0c4752c5be2e2ba1b2d9c101f9f Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 2 Aug 2011 11:24:53 +0200 Subject: [PATCH] Minor reformatting. From-SVN: r177106 --- gcc/ada/sem_attr.adb | 2 +- gcc/ada/sem_res.adb | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) 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; -- 2.30.2