diff options
Diffstat (limited to 'gcc/ada/ali.adb')
| -rw-r--r-- | gcc/ada/ali.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/ali.adb b/gcc/ada/ali.adb index bea2b10..6c2f818 100644 --- a/gcc/ada/ali.adb +++ b/gcc/ada/ali.adb @@ -57,7 +57,7 @@ package body ALI is 'Y' => True, -- limited_with 'Z' => True, -- implicit with from instantiation 'C' => True, -- SCO information - 'F' => True, -- Alfa information + 'F' => True, -- SPARK cross-reference information others => False); -------------------- @@ -2670,7 +2670,7 @@ package body ALI is -- Here after dealing with xref sections -- Ignore remaining lines, which belong to an additional section of the - -- ALI file not considered here (like SCO or Alfa). + -- ALI file not considered here (like SCO or SPARK information). Check_Unknown_Line; |