diff options
Diffstat (limited to 'gcc/ada/put_spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/put_spark_xrefs.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/put_spark_xrefs.adb b/gcc/ada/put_spark_xrefs.adb index 0c6ba2f..a65fa8a 100644 --- a/gcc/ada/put_spark_xrefs.adb +++ b/gcc/ada/put_spark_xrefs.adb @@ -104,6 +104,7 @@ begin begin -- Write only non-empty tables + if S.From_Xref <= S.To_Xref then Write_Info_Initiate ('F'); @@ -133,7 +134,7 @@ begin Output_One_Xref : declare R : SPARK_Xref_Record renames - SPARK_Xref_Table.Table (X); + SPARK_Xref_Table.Table (X); begin if R.Entity_Line /= Entity_Line |