blob: ea1b46aa7649de9e732bbe7d6b07b00dd9f36f91 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-gnat12 -gnata" }
package body Discr40 is
procedure Push (S: in out Stack; E : Element) is
begin
S.Length := S.Length + 1;
S.Data(S.Length) := E;
end Push;
end Discr40;