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))
("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;