diff options
Diffstat (limited to 'gcc/ada/sem_ch7.adb')
| -rw-r--r-- | gcc/ada/sem_ch7.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch7.adb b/gcc/ada/sem_ch7.adb index 474f39c..633d975 100644 --- a/gcc/ada/sem_ch7.adb +++ b/gcc/ada/sem_ch7.adb @@ -936,7 +936,7 @@ package body Sem_Ch7 is else Error_Msg_Sloc := Sloc (Previous); - Check_Formal_Restriction + Check_SPARK_Restriction ("at most one tagged type or type extension allowed", "\\ previous declaration#", Decl); |