projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00b3de2) | patch
spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 8 Nov 2017 16:25:03 +0000 (16:25 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 8 Nov 2017 16:25:03 +0000 (16:25 +0000)
commit45a6947d0f40ca6bfebd430969087e0595c47cb8
treef9f53f4e847c46d6ec4177d393c7bf8d0c6b62a8tree
parent00b3de222b3bc8eff6fb95219d7aa963b7fd277dcommit | diff
spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.

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.

From-SVN: r254542
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-xref-spark_specific.adb diff | blob | history
gcc/ada/spark_xrefs.adb diff | blob | history
gcc/ada/spark_xrefs.ads diff | blob | history