diff options
| author | Yannick Moy <moy@adacore.com> | 2017-04-25 12:35:59 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 14:35:59 +0200 |
| commit | e4b1cd76560d70923fbcbc52b2be32e4c760ba49 (patch) | |
| tree | b6a00fcba8163929715823be20e72f352d816975 /gcc/ada/cstreams.c | |
| parent | 245fee17cb416f3b5e09743a2dbee768ec8c8b16 (diff) | |
| download | gcc-e4b1cd76560d70923fbcbc52b2be32e4c760ba49.zip gcc-e4b1cd76560d70923fbcbc52b2be32e4c760ba49.tar.gz gcc-e4b1cd76560d70923fbcbc52b2be32e4c760ba49.tar.bz2 | |
sem_util.adb: Minor refactoring.
2017-04-25 Yannick Moy <moy@adacore.com>
* sem_util.adb: Minor refactoring.
* freeze.adb (Freeze_Record_Type): Fix checking of SPARK RM 7.1.3(5).
From-SVN: r247211
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions