r235245 - in /trunk/gcc/ada: ChangeLog contract...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Apr 20 09:15:47 2016
New Revision: 235245

URL: https://gcc.gnu.org/viewcvs?rev=235245&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/contracts.adb
    trunk/gcc/ada/ghost.adb