11 lines
199 B
Ada
11 lines
199 B
Ada
|
-- { dg-do run }
|
||
|
|
||
|
with dispatch2_p; use dispatch2_p;
|
||
|
procedure dispatch2 is
|
||
|
Obj : Object_Ptr := new Object;
|
||
|
begin
|
||
|
if Obj.Get_Ptr /= Obj.Impl_Of then
|
||
|
raise Program_Error;
|
||
|
end if;
|
||
|
end;
|