diff options
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index a56e005..fc05e16 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -296,7 +296,7 @@ package body SPARK_Specific is (Standard_Location, Name_Enter (Name_Of_Heap_Variable)); - Set_Ekind (Heap, E_Variable); + Mutate_Ekind (Heap, E_Variable); Set_Is_Internal (Heap, True); Set_Etype (Heap, Standard_Void_Type); Set_Scope (Heap, Standard_Standard); |