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
tree99fef8818229e014fec01605b8c5b90f46b4d7c9
parentd5e7854c12141be936de30092baa3ec49036a02c
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
gcc/ada/contracts.adb