projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31ae1b4) | patch
contracts.adb (Build_Postconditions_Procedure): Code cleanup.
authorJavier Miranda <miranda@adacore.com>
Wed, 20 Apr 2016 09:15:47 +0000 (09:15 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 20 Apr 2016 09:15:47 +0000 (11:15 +0200)
commit7f5e1dee7c70db3fd4e4dab5f205a30b8373a8de
tree13abec83bd6ebb1c7de7d19b0380d048682512f7tree
parent31ae1b4629ed84e4dd0ba7ac4f94181ab197041fcommit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/contracts.adb diff | blob | history
gcc/ada/ghost.adb diff | blob | history