diff options
| author | Javier Miranda <miranda@adacore.com> | 2016-04-20 09:15:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 11:15:47 +0200 |
| commit | 7f5e1dee7c70db3fd4e4dab5f205a30b8373a8de (patch) | |
| tree | 13abec83bd6ebb1c7de7d19b0380d048682512f7 /gcc/ada/exp_ch6.adb | |
| parent | 31ae1b4629ed84e4dd0ba7ac4f94181ab197041f (diff) | |
| download | gcc-7f5e1dee7c70db3fd4e4dab5f205a30b8373a8de.zip gcc-7f5e1dee7c70db3fd4e4dab5f205a30b8373a8de.tar.gz gcc-7f5e1dee7c70db3fd4e4dab5f205a30b8373a8de.tar.bz2 | |
contracts.adb (Build_Postconditions_Procedure): Code cleanup.
2016-04-20 Javier Miranda <miranda@adacore.com>
* contracts.adb (Build_Postconditions_Procedure): Code cleanup.
* ghost.adb (Os_OK_Ghost_Context.Is_OK_Declaration): Handle the
declaration of the internally built _postcondition procedure.
From-SVN: r235245
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
0 files changed, 0 insertions, 0 deletions