diff options
Diffstat (limited to 'gcc/ada/spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/spark_xrefs.adb | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/spark_xrefs.adb b/gcc/ada/spark_xrefs.adb index 552ed59..cea28a6 100644 --- a/gcc/ada/spark_xrefs.adb +++ b/gcc/ada/spark_xrefs.adb @@ -69,10 +69,6 @@ package body SPARK_Xrefs is begin Write_Str (" "); Write_Int (Int (Index)); - Write_Str (". File_Num = "); - Write_Int (Int (ASR.File_Num)); - Write_Str (" Scope_Num = "); - Write_Int (Int (ASR.Scope_Num)); Write_Str (" Scope_Name = """); Write_Str (Unique_Name (ASR.Entity)); |