projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec98bb7) | patch
[multiple changes]
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 8 Nov 2017 17:10:05 +0000 (17:10 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 8 Nov 2017 17:10:05 +0000 (17:10 +0000)
commit76b37a56d234f98a8f30c9e22f24cb02edb75e23
tree88c4d1a1a5730efdfa3a0187fdb1a89fcd4b48edtree
parentec98bb7dacad52c04092fee6de9cbf3b1d8c6b66commit | diff
[multiple changes]

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

* spark_xrefs.ads (SPARK_Scope_Record): Remove File_Num component.
* lib-xref-spark_specific.adb (Add_SPARK_Scope): Skip initialization of
removed component.

2017-11-08  Gary Dismukes  <dismukes@adacore.com>

* sem_ch4.adb: Minor typo fix.

From-SVN: r254546
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-xref-spark_specific.adb diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history
gcc/ada/spark_xrefs.ads diff | blob | history