blob: 780fae9c65e76412f3c776cb0184a4fcee489668 [file] [log] [blame]
-- { dg-do run }
with Text_IO; use Text_IO;
with Generic_Inst6_I2;
procedure Generic_Inst6 is
begin
if Generic_Inst6_I2.Check /= 49 then
raise Program_Error;
end if;
end;