Commit 015f33d7 by Arnaud Charlet

Minor reformatting.

From-SVN: r237962
parent 9d1d00ca
...@@ -1403,8 +1403,8 @@ package body Freeze is ...@@ -1403,8 +1403,8 @@ package body Freeze is
while Present (Op_Node) loop while Present (Op_Node) loop
Prim := Node (Op_Node); Prim := Node (Op_Node);
-- Map the overridden primitive to the overriding one. This -- Map the overridden primitive to the overriding one. This takes
-- takes care of all overridings and is done only once. -- care of all overridings and is done only once.
if Present (Overridden_Operation (Prim)) if Present (Overridden_Operation (Prim))
and then Comes_From_Source (Prim) and then Comes_From_Source (Prim)
......
...@@ -531,12 +531,10 @@ package Sem_Prag is ...@@ -531,12 +531,10 @@ package Sem_Prag is
procedure Update_Primitives_Mapping procedure Update_Primitives_Mapping
(Inher_Id : Entity_Id; (Inher_Id : Entity_Id;
Subp_Id : Entity_Id); Subp_Id : Entity_Id);
-- Map primitive operations of the parent type to the corresponding
-- map primitive operations of the parent type to the corresponding -- operations of the descendant. Note that the descendant type may not be
-- operations of the descendant. note that the descendant type may -- frozen yet, so we cannot use the dispatch table directly. This is called
-- not be frozen yet, so we cannot use the dispatch table directly. -- when elaborating a contract for a subprogram, and when freezing a type
-- This is called when elaborating a contract for a subprogram, and -- extension to verify legality rules on inherited conditions.
-- when freezing a type extension to verify legality rules on inherited
-- conditions.
end Sem_Prag; end Sem_Prag;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment