projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6216fd9) | patch
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty entities.
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 8 Nov 2017 15:38:51 +0000 (15:38 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 8 Nov 2017 15:38:51 +0000 (15:38 +0000)
commita14ab2c3467950ccaad000864164a62d24129dd5
treea1b83aacc9d51be4e2f71d5128f3513e54855be1tree
parent6216fd904f46a11fa243195ee303560dc802958ecommit | diff
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty entities.

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

* lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for
empty entities.

From-SVN: r254535
gcc/ada/lib-xref-spark_specific.adb diff | blob | history