projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9405b6) | patch
lib.ads: Code cleanup.
authorArnaud Charlet <charlet@adacore.com>
Wed, 22 Jun 2016 09:47:02 +0000 (09:47 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 22 Jun 2016 09:47:02 +0000 (11:47 +0200)
commit3bb91f983bc2d530e31ca3615cde2fb1c563005a
tree3cd96afc28e73ca4467c5b9af0d037b6fc26cf56tree
parentf9405b6348ba821cdc6a9d4c2e0e03050b16a0f9commit | diff
lib.ads: Code cleanup.

2016-06-22  Arnaud Charlet  <charlet@adacore.com>

* lib.ads: Code cleanup.
* inline.adb: Type refinement for a counter variable.
* lib-xref-spark_specific.adb (Add_SPARK_File): removal of no-op code.
Code cleanup.

From-SVN: r237682
gcc/ada/ChangeLog diff | blob | history
gcc/ada/inline.adb diff | blob | history
gcc/ada/lib-xref-spark_specific.adb diff | blob | history
gcc/ada/lib.ads diff | blob | history