r244424 - in /trunk/gcc/ada: ChangeLog checks.a...

Fri Jan 13 11:13:00 GMT 2017

Author: charlet
Date: Fri Jan 13 11:13:00 2017
New Revision: 244424

URL: https://gcc.gnu.org/viewcvs?rev=244424&root=gcc&view=rev
Log:
2017-01-13  Gary Dismukes  <dismukes@adacore.com>

	* checks.adb: Minor typo fix and reformatting.

2017-01-13  Javier Miranda  <miranda@adacore.com>

	* contracts.adb (Contract_Only_Subprograms): Remove formal.
	(Copy_Original_Specification): Removed.
	(Skip_Contract_Only_Subprogram): Move here checks previously
	located in the caller of this routine (to leave the code more clean).
	(Build_Contract_Only_Subprogram): Code cleanup.
	* scil_ll.ads, scil_ll.adb (Get_Contract_Only_Body_Name): Removed.
	(Get_Contract_Only_Missing_Body_Name): Removed.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/contracts.adb
    trunk/gcc/ada/scil_ll.adb
    trunk/gcc/ada/scil_ll.ads