gcc/testsuite/gnat.dg/equal4_full_selector_filter.ads

with Equal4_Controlled_Filter;

package Equal4_Full_Selector_Filter is
   package Equal4_Controlled_Filter_Instance is new Equal4_Controlled_Filter;

   type Object_T is new Equal4_Controlled_Filter_Instance.Object_T;
end Equal4_Full_Selector_Filter;