From 00b3de222b3bc8eff6fb95219d7aa963b7fd277d Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 8 Nov 2017 16:22:37 +0000 Subject: spark_xrefs.ads (SPARK_File_Record): Remove string components. 2017-11-08 Piotr Trojanek * spark_xrefs.ads (SPARK_File_Record): Remove string components. * spark_xrefs.adb (dspark): Remove pretty-printing of removed SPARK_File_Record components. * lib-xref-spark_specific.adb (Add_SPARK_File): Do not store string representation of files/units. From-SVN: r254541 --- gcc/ada/spark_xrefs.adb | 7 ------- 1 file changed, 7 deletions(-) (limited to 'gcc/ada/spark_xrefs.adb') diff --git a/gcc/ada/spark_xrefs.adb b/gcc/ada/spark_xrefs.adb index e093139..9461c96 100644 --- a/gcc/ada/spark_xrefs.adb +++ b/gcc/ada/spark_xrefs.adb @@ -48,13 +48,6 @@ package body SPARK_Xrefs is Write_Int (Int (Index)); Write_Str (". File_Num = "); Write_Int (Int (AFR.File_Num)); - Write_Str (" File_Name = """); - - if AFR.File_Name /= null then - Write_Str (AFR.File_Name.all); - end if; - - Write_Char ('"'); Write_Str (" From = "); Write_Int (Int (AFR.From_Scope)); Write_Str (" To = "); -- cgit v1.1