sem_elab.adb: Minor reformatting
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 21 Nov 2011 11:28:32 +0000 (12:28 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 21 Nov 2011 11:28:32 +0000 (12:28 +0100)
2011-11-21  Gary Dismukes  <dismukes@adacore.com>

* sem_elab.adb: Minor reformatting

From-SVN: r181562

gcc/ada/ChangeLog
gcc/ada/sem_elab.adb

index 003a23e22ab6c54658af6df5fca33b3ff5451112..5092d57b397aa6532bddc5ef5624cacf429f1c87 100644 (file)
@@ -1,3 +1,23 @@
+2011-11-21  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_elab.adb: Minor reformatting
+
+2011-11-21  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch6.adb: Minor reformatting.
+
+2011-11-21  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch12.adb (Check_Formal_Package_Instance): If a formal
+       subprogram of the formal package is covered by an others
+       association with a box initialization, no check is needed
+       against the actual in the instantiation of the formal package.
+
+2011-11-21  Robert Dewar  <dewar@adacore.com>
+
+       * sem_elab.adb (Check_Internal_Call_Continue): Suppress junk
+       elab warning from within precondition/postcondition etc.
+
 2011-11-21  Ed Schonberg  <schonberg@adacore.com>
 
        * exp_ch6.adb (Expand_Actuals): In Ada 2012, a function call
index d51dae91b33856da85349e1847a3acfb463fa270..ce4cff39d92da045063249f8ac26b569a11e3a75 100644 (file)
@@ -2133,7 +2133,7 @@ package body Sem_Elab is
       --  been encountered. A warning message is needed, except if this is the
       --  case of appearing within an aspect specification that results in
       --  a check call, we do not really have such a situation, so no warning
-      --  is needed (e.g., the case of a precondition, where the call appears
+      --  is needed (e.g. the case of a precondition, where the call appears
       --  textually before the body, but in actual fact is moved to the
       --  appropriate subprogram body and so does not need a check).