projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5e7854) | patch
contracts.adb (Analyze_Contracts): For a type declaration, analyze an iterable aspect...
authorEd Schonberg <schonberg@adacore.com>
Wed, 12 Oct 2016 10:38:17 +0000 (10:38 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 12 Oct 2016 10:38:17 +0000 (12:38 +0200)
commit05662a060a8b17e077c58ce1867fcecf82bd31ff
tree99fef8818229e014fec01605b8c5b90f46b4d7c9tree
parentd5e7854c12141be936de30092baa3ec49036a02ccommit | diff
contracts.adb (Analyze_Contracts): For a type declaration, analyze an iterable aspect when present.

2016-10-12  Ed Schonberg  <schonberg@adacore.com>

* contracts.adb (Analyze_Contracts): For a type declaration, analyze
an iterable aspect when present.

From-SVN: r241028
gcc/ada/ChangeLog diff | blob | history
gcc/ada/contracts.adb diff | blob | history