diff options
Diffstat (limited to 'gcc/ada/ali-util.adb')
| -rw-r--r-- | gcc/ada/ali-util.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/ali-util.adb b/gcc/ada/ali-util.adb index 514be3ce8de..92380f8eb35 100644 --- a/gcc/ada/ali-util.adb +++ b/gcc/ada/ali-util.adb @@ -278,7 +278,7 @@ package body ALI.Util is -- generated, so No_Object=True is not considered an error. elsif ALIs.Table (Idread).No_Object - and then not Alfa_Mode + and then not SPARK_Mode and then not Ignore_Errors then Error_Msg_File_1 := Withs.Table (W).Sfile; |