diff options
Diffstat (limited to 'gcc/ada/ali-util.adb')
| -rw-r--r-- | gcc/ada/ali-util.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/ali-util.adb b/gcc/ada/ali-util.adb index 92380f8eb35..98f79bafaeb 100644 --- a/gcc/ada/ali-util.adb +++ b/gcc/ada/ali-util.adb @@ -274,11 +274,11 @@ package body ALI.Util is Error_Msg ("{ had errors, must be fixed, and recompiled"); Set_Name_Table_Info (Afile, Int (No_Unit_Id)); - -- In formal verification mode, object files are never - -- generated, so No_Object=True is not considered an error. + -- In GNATprove mode, object files are never generated, so + -- No_Object=True is not considered an error. elsif ALIs.Table (Idread).No_Object - and then not SPARK_Mode + and then not GNATprove_Mode and then not Ignore_Errors then Error_Msg_File_1 := Withs.Table (W).Sfile; |