diff options
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 85cd8509b89..ddb85a7a6d0 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -5748,7 +5748,7 @@ package body Sem_Res is -- and then Is_Inherited_Operation_For_Type -- (Entity (Name (N)), Etype (N)) -- then --- Check_Formal_Restriction ("function not inherited", N); +-- Check_SPARK_Restriction ("function not inherited", N); -- end if; -- Implement rule in 12.5.1 (23.3/2): In an instance, if the actual is |