diff options
Diffstat (limited to 'gcc/ada/erroutc.adb')
| -rw-r--r-- | gcc/ada/erroutc.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/erroutc.adb b/gcc/ada/erroutc.adb index 8a1050f..a0da230 100644 --- a/gcc/ada/erroutc.adb +++ b/gcc/ada/erroutc.adb @@ -986,12 +986,12 @@ package body Erroutc is if Name_Len = 2 and then Name_Buffer (1 .. 2) = "RM" then Set_Msg_Name_Buffer; - -- We make a similar exception for Alfa + -- We make a similar exception for SPARK - elsif Name_Len = 4 and then Name_Buffer (1 .. 4) = "Alfa" then + elsif Name_Len = 5 and then Name_Buffer (1 .. 5) = "SPARK" then Set_Msg_Name_Buffer; - -- Neither RM nor Alfa: case appropriately and add surrounding quotes + -- Neither RM nor SPARK: case appropriately and add surrounding quotes else Set_Casing (Keyword_Casing (Flag_Source), All_Lower_Case); |