+2015-10-20 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_prag.adb: Minor reformatting.
+
2015-10-20 Tristan Gingold <gingold@adacore.com>
* sem_util.adb (Is_Protected_Self_Reference): Remove reference to
Typ : constant Entity_Id := Find_Dispatching_Type (Subp);
function Replace_Formal (N : Node_Id) return Traverse_Result;
- -- Replace an occurence of a formal parameter of the original expression
+ -- Replace occurrence of a formal parameter of the original expression
-- in the precondition, with the formal of the generic function created
-- for it.
-- If this is a controlling formal, in the generic it
-- becomes a conversion to the controlling formal of the
- -- operation with the classwide precondition. If the formal
+ -- operation with the class-wide precondition. If the formal
-- is an access parameter, a reference to F becomes
-- Root (New_F.all)'access.
(Etype (F), New_Occurrence_Of (New_F, Sloc (N))));
end if;
- -- Non-controlling formals retain their original type
+ -- Noncontrolling formals retain their original type
else
Rewrite (N, New_Occurrence_Of (New_F, Sloc (N)));