+2014-08-04 Robert Dewar <dewar@adacore.com>
+
+ * exp_ch6.adb, sem_util.adb: Minor reformatting.
+
2014-08-04 Olivier Hainque <hainque@adacore.com>
* a-comutr.ads: Set Root_Node_Type'Alignment to
-- Analyze call, but something goes wrong in some weird cases
-- and it is not worth worrying about ???
- -- The return statement is handled properly, and the call to
- -- the postcondition, inserted below, does not require
+ -- The return statement is handled properly, and the call
+ -- to the postcondition, inserted below, does not require
-- information from the body either. However, that call is
-- analyzed in the enclosing scope, and an elaboration check
- -- might improperly be added to it. A guard in sem_elab is
+ -- might improperly be added to it. A guard in Sem_Elab is
-- needed to prevent that spurious check, see Check_Elab_Call.
Append_To (S, Rtn);
procedure Build_Default_Init_Cond_Procedure_Body (Typ : Entity_Id);
-- If type Typ is subject to pragma Default_Initial_Condition, build the
-- body of the procedure which verifies the assumption of the pragma at
- -- runtime. The generated body is added after the type declaration.
+ -- run time. The generated body is added after the type declaration.
--------------------------------------------
-- Build_Default_Init_Cond_Procedure_Body --
-- If the type is subject to pragma Default_Initial_Condition,
-- generate the body of the internal procedure which verifies
- -- the assertion of the pragma at runtime.
+ -- the assertion of the pragma at run time.
if Has_Default_Init_Cond (Typ) then
Build_Default_Init_Cond_Procedure_Body (Typ);