blob: 7a98f9dcc285f588a1979b39314dfdafe78fab19 [file] [log] [blame]
-- { dg-do compile }
procedure Prot1 is
protected type Prot is
procedure Change (x : integer);
private
Flag : Boolean;
end Prot;
type Handle is access protected procedure (X : Integer);
procedure Manage (Ptr : Handle) is
begin
null;
end;
protected body prot is
procedure Change (x : integer) is begin null; end;
end;
Sema : Prot;
begin
Manage (Sema.Change'Unrestricted_Access);
end;