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

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed Nov  8 16:25:03 2017
New Revision: 254542

URL: https://gcc.gnu.org/viewcvs?rev=254542&root=gcc&view=rev
Log:
2017-11-08  Piotr Trojanek  <trojanek@adacore.com>

	* spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to
	Entity.
	* lib-xref-spark_specific.adb, spark_xrefs.adb: Propagate renaming of
	the Scope_Id record component.

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