diff options
Diffstat (limited to 'gcc/ada/sem_spark.adb')
| -rw-r--r-- | gcc/ada/sem_spark.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index 292c936..0040dde 100644 --- a/gcc/ada/sem_spark.adb +++ b/gcc/ada/sem_spark.adb @@ -47,7 +47,6 @@ package body Sem_SPARK is --------------------------------------------------- package Permissions is - Elaboration_Context_Max : constant := 1009; -- The hash range |