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