diff options
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 9a7b375..b3b5aba 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1553,7 +1553,8 @@ package body Inline is elsif Present (Spec_Id) and then (No (SPARK_Pragma (Spec_Id)) - or else Get_SPARK_Mode_From_Pragma (SPARK_Pragma (Spec_Id)) /= On) + or else + Get_SPARK_Mode_From_Annotation (SPARK_Pragma (Spec_Id)) /= On) then return False; |