diff options
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 3e5665f37ce..9d9e62c36f1 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -3320,6 +3320,8 @@ package body Sem_Ch3 is -- In SPARK, a declaration of unconstrained type is allowed -- only for constants of type string. + -- Isn't following check the wrong way round??? + if Nkind (E) = N_String_Literal then Check_SPARK_Restriction ("declaration of object of unconstrained type not allowed", |