gcc/testsuite/gnat.dg/initializes.ads

   1 package Initializes is
   2    protected PO is
   3       procedure Proc;
   4    private
   5       X : Boolean := True;
   6    end PO;
   7
   8    protected type PT is
   9       procedure Proc;
  10    private
  11       X : Boolean := True;
  12    end PT;
  13 end Initializes;