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

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Jan 20 13:47:41 2014
New Revision: 206806

URL: http://gcc.gnu.org/viewcvs?rev=206806&root=gcc&view=rev
Log:
2014-01-20  Yannick Moy  <moy@adacore.com>

	* exp_spark.adb (Expand_SPARK_Call): Remove procedure.
	* opt.adb, opt.ads (Full_Expander_Active): Remove function.
	* checks.adb, exp_ch6.adb, exp_ch9.adb, exp_disp.adb, sem_aggr.adb,
	* sem_ch10.adb, sem_ch5.adb, sem_ch6.adb, sem_ch8.adb, sem_ch9.adb,
	* sem_disp.adb, sem_res.adb Replace Full_Expander_Active by
	Expander_Active.

2014-01-20  Yannick Moy  <moy@adacore.com>

	* sinfo.ads Update documentation of GNATprove mode.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/exp_ch9.adb
    trunk/gcc/ada/exp_disp.adb
    trunk/gcc/ada/exp_spark.adb
    trunk/gcc/ada/opt.adb
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/sem_aggr.adb
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch5.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_ch8.adb
    trunk/gcc/ada/sem_ch9.adb
    trunk/gcc/ada/sem_disp.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sinfo.ads