diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 13:47:41 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 13:47:41 +0000 |
| commit | a33565dde5aa15ee77ef57b7249021e36a56579e (patch) | |
| tree | 20cedaea80ab6c277371fd6f8f8dad11295e175f /gcc/ada/exp_ch6.adb | |
| parent | c39cce408b9bbfdd8c3bf5851b6c8a6abd1e00a1 (diff) | |
| download | gcc-a33565dde5aa15ee77ef57b7249021e36a56579e.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206806 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index adc0987fc44..d43d02b379e 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -9603,7 +9603,7 @@ package body Exp_Ch6 is -- may end up with a call that is neither resolved to an entity, nor -- an indirect call. - if not Full_Expander_Active then + if not Expander_Active then return False; end if; |