diff options
Diffstat (limited to 'gcc/ada/sem_spark.adb')
| -rw-r--r-- | gcc/ada/sem_spark.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index fa9c199..5107d3b 100644 --- a/gcc/ada/sem_spark.adb +++ b/gcc/ada/sem_spark.adb @@ -5286,6 +5286,7 @@ package body Sem_SPARK is is begin case Nkind (N) is + -- Base identifier. Set permission to W or No depending on Mode. when N_Identifier @@ -5293,9 +5294,8 @@ package body Sem_SPARK is => declare P : constant Node_Id := Entity (N); - C : constant Perm_Tree_Access := - Get (Current_Perm_Env, Unique_Entity (P)); + Get (Current_Perm_Env, Unique_Entity (P)); begin -- The base tree can be RW (first move from this base path) or |