diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2017-11-08 15:48:46 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 15:48:46 +0000 |
| commit | 013e9958f80bbba91f14dba7f1fa83ac9809ad7d (patch) | |
| tree | b7d6351d17b56b3ae43f992d8e2a090ff681c10f /gcc/tree-nested.h | |
| parent | 388f3a645405a384eab6a20bad15a3264025c019 (diff) | |
| download | gcc-013e9958f80bbba91f14dba7f1fa83ac9809ad7d.zip gcc-013e9958f80bbba91f14dba7f1fa83ac9809ad7d.tar.gz gcc-013e9958f80bbba91f14dba7f1fa83ac9809ad7d.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-nested.h')
0 files changed, 0 insertions, 0 deletions