r254538 - in /trunk/gcc/ada: ChangeLog lib-xref...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed Nov  8 15:48:46 2017
New Revision: 254538

URL: https://gcc.gnu.org/viewcvs?rev=254538&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/spark_xrefs.adb
    trunk/gcc/ada/spark_xrefs.ads