-- TEST MAKE_EMPTY AND IS_NOT_EMPTY USING X0SET PACKAGE
with Instrument, X0set;
use Instrument;

procedure Mtisa2 is

    package Iset is new X0set (Integer);

    use Iset;

    S2 : Set;

begin

    Start ("MTISA2", "TEST MAKE_EMPTY, IS_NOT_EMPTY.");
    for I in 1 .. 1000 loop
        Make_Empty (S2);

        if Is_Not_Empty (S2) then

            Comment ("IS_NOT_EMPTY FAILED.");

        end if;

    end loop;

    Stop;

end Mtisa2;