diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:24:53 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:24:53 +0200 |
| commit | b9e4854155a5c0c4752c5be2e2ba1b2d9c101f9f (patch) | |
| tree | 06690e747b686c723948bdae8d8cc804ae06283e /gcc | |
| parent | 7394c8cca8c820f6b84a3fb57dc9d3e798b6fb7f (diff) | |
| download | gcc-b9e4854155a5c0c4752c5be2e2ba1b2d9c101f9f.zip gcc-b9e4854155a5c0c4752c5be2e2ba1b2d9c101f9f.tar.gz gcc-b9e4854155a5c0c4752c5be2e2ba1b2d9c101f9f.tar.bz2 | |
Minor reformatting.
From-SVN: r177106
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 2 | ||||
| -rw-r--r-- | 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 aadcb04..c841288 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 cc88f43..dc62ef7 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; |