diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 12:09:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 12:09:51 +0200 |
| commit | b4ca2d2c08cde1619a2394a02773712ded61dbce (patch) | |
| tree | 45498be02d1ed85f737aeb6644317efb5e0b4ca1 /gcc/ada/sprint.adb | |
| parent | 00c7151cdf1d73504a4154bf3e630008dd1bc7d3 (diff) | |
| download | gcc-b4ca2d2c08cde1619a2394a02773712ded61dbce.zip gcc-b4ca2d2c08cde1619a2394a02773712ded61dbce.tar.gz gcc-b4ca2d2c08cde1619a2394a02773712ded61dbce.tar.bz2 | |
[multiple changes]
2010-10-22 Robert Dewar <dewar@adacore.com>
* sprint.adb: Minor reformatting.
2010-10-22 Robert Dewar <dewar@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Do required predicate
checks.
* sem_ch3.adb (Complete_Private_Subtype): Propagate predicates to full
view.
* sem_ch6.adb (Invariants_Or_Predicates_Present): New name for
Invariants_Present.
(Process_PPCs): Handle predicates generating post conditions
* sem_util.adb (Is_Partially_Initialized_Type): Add
Include_Null parameter.
* sem_util.ads (Is_Partially_Initialized_Type): Add
Include_Null parameter.
2010-10-22 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi (gnatelim): Add description for '--ignore' option
2010-10-22 Thomas Quinot <quinot@adacore.com>
* sem_prag.adb (Check_First_Subtype): Specialize error messages for
case where argument is not a type.
From-SVN: r165815
Diffstat (limited to 'gcc/ada/sprint.adb')
| -rw-r--r-- | gcc/ada/sprint.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb index 627fb2f..e984b5b 100644 --- a/gcc/ada/sprint.adb +++ b/gcc/ada/sprint.adb @@ -1995,6 +1995,7 @@ package body Sprint is Sprint_Node (Condition (Node)); else Write_Str_With_Col_Check_Sloc ("for "); + if Present (Iterator_Specification (Node)) then Sprint_Node (Iterator_Specification (Node)); else |