bug test

aws_test.adb (text/plain), 263 bytes, created by Maxim Reznik on 2003-09-01 00:01:28 UTC

with Ada.Text_IO;
with Ada.Strings.Maps;
with Ada.Strings.Maps.Constants;

procedure AWS_Test is
   use Ada.Strings.Maps;
begin
   if not Is_Subset (To_Set ("0"), Constants.Decimal_Digit_Set) then
      Ada.Text_IO.Put_Line ("failed");
   end if;
end AWS_Test;