projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 388f3a6) | patch
spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 8 Nov 2017 15:48:46 +0000 (15:48 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 8 Nov 2017 15:48:46 +0000 (15:48 +0000)
commit013e9958f80bbba91f14dba7f1fa83ac9809ad7d
treeb7d6351d17b56b3ae43f992d8e2a090ff681c10ftree
parent388f3a645405a384eab6a20bad15a3264025c019commit | diff
spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.

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.

From-SVN: r254538
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