lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 8 Nov 2017 16:16:04 +0000 (16:16 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 8 Nov 2017 16:16:04 +0000 (16:16 +0000)
commit784ef0fb7cd3e6bdf8cdba51a14cd884f365cb59
treefa1eedb877605c1e14d746c3929332492b91b73e
parent3e5400f4acc56a3e6a25ebeb5f7bfcf9d7d3646a
lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.

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

* lib-xref.ads, lib-xref-spark_specific.adb (Traverse_Declarations):
Remove Inside_Stubs parameter.

From-SVN: r254540
gcc/ada/ChangeLog
gcc/ada/lib-xref-spark_specific.adb
gcc/ada/lib-xref.ads