diff options
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 56bcf5d..df0c5bb 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -161,11 +161,10 @@ package body SPARK_Specific is -- range. SPARK_Scope_Table.Append - ((Entity => E, - File_Num => Dspec, - Scope_Num => Scope_Id, - From_Xref => 1, - To_Xref => 0)); + ((Entity => E, + Scope_Num => Scope_Id, + From_Xref => 1, + To_Xref => 0)); Scope_Id := Scope_Id + 1; end Add_SPARK_Scope; |