1with Ada.Containers.Bounded_Ordered_Sets; use Ada.Containers; 2package Containers1 is 3 pragma Suppress (All_Checks); 4 package Sets is new Bounded_Ordered_Sets (Boolean); 5 procedure Dummy; 6end Containers1;
1with Ada.Containers.Bounded_Ordered_Sets; use Ada.Containers; 2package Containers1 is 3 pragma Suppress (All_Checks); 4 package Sets is new Bounded_Ordered_Sets (Boolean); 5 procedure Dummy; 6end Containers1;