2017-11-08 Piotr Trojanek <trojanek@adacore.com>

	* 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.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@254541 138bc75d-0d04-0410-961f-82ee72b054a4