projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 784ef0f) | patch
spark_xrefs.ads (SPARK_File_Record): Remove string components.
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 8 Nov 2017 16:22:37 +0000 (16:22 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 8 Nov 2017 16:22:37 +0000 (16:22 +0000)
commit00b3de222b3bc8eff6fb95219d7aa963b7fd277d
tree68e9d29437fbd16289d4635c8b95698feee21e93tree
parent784ef0fb7cd3e6bdf8cdba51a14cd884f365cb59commit | diff
spark_xrefs.ads (SPARK_File_Record): Remove string components.

2017-11-08  Piotr Trojanek  <trojanek@adacore.com>

* spark_xrefs.ads (SPARK_File_Record): Remove string components.
* spark_xrefs.adb (dspark): Remove pretty-printing of removed
SPARK_File_Record components.
* lib-xref-spark_specific.adb (Add_SPARK_File): Do not store string
representation of files/units.

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