diff options
Diffstat (limited to 'gcc/ada/errout.ads')
| -rw-r--r-- | gcc/ada/errout.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index ef8977f..4b30a06 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -507,8 +507,8 @@ package Errout is -- Note: a special exception is that RM is never treated as a keyword -- but instead is copied literally into the message, this avoids the -- need for writing 'R'M for all reference manual quotes. A similar - -- exception is applied to the occurrence of the string Alfa used in - -- error messages about the Alfa subset of Ada. + -- exception is applied to the occurrence of the string SPARK used in + -- error messages about the SPARK subset of Ada. -- In the case of names, the default mode for the error text processor -- is to surround the name by quotation marks automatically. The case |