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

	* spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.
	(SPARK_Scope_Record): Remove inessential components.
	* spark_xrefs.adb (dspark): Remove pretty-printing of removed record
	components.
	* lib-xref-spark_specific.adb (Add_SPARK_Scope): Remove setting of
	removed record components.
	(Add_SPARK_Xrefs): Remove setting of removed record components.



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