diff options
author | Yannick Moy <moy@adacore.com> | 2014-01-20 13:47:41 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 14:47:41 +0100 |
commit | 4460a9bcc2b44c95583242d97a8e8a463706a7e8 (patch) | |
tree | 20cedaea80ab6c277371fd6f8f8dad11295e175f /gcc/ada/sem_disp.adb | |
parent | f5da7a97f59ad934df6fd6ab1aca0a48571ae399 (diff) | |
download | gcc-4460a9bcc2b44c95583242d97a8e8a463706a7e8.zip gcc-4460a9bcc2b44c95583242d97a8e8a463706a7e8.tar.gz gcc-4460a9bcc2b44c95583242d97a8e8a463706a7e8.tar.bz2 |
exp_spark.adb (Expand_SPARK_Call): Remove procedure.
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.
From-SVN: r206806
Diffstat (limited to 'gcc/ada/sem_disp.adb')
-rw-r--r-- | gcc/ada/sem_disp.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_disp.adb b/gcc/ada/sem_disp.adb index 7b81581..bf4fa8f 100644 --- a/gcc/ada/sem_disp.adb +++ b/gcc/ada/sem_disp.adb @@ -1264,7 +1264,7 @@ package body Sem_Disp is -- emitted after those tables are built, to prevent access before -- elaboration in gigi. - if Body_Is_Last_Primitive and then Full_Expander_Active then + if Body_Is_Last_Primitive and then Expander_Active then declare Subp_Body : constant Node_Id := Unit_Declaration_Node (Subp); Elmt : Elmt_Id; |