summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr10.adb
blob: 4ad834fd12453cf26c95bf5027eff4e2ad7b93cb (plain)
1
2
3
4
5
6
7
8
package body Discr10 is

   function Get (X : R) return R is
   begin
     return R'(D1 => False, D2 => False, D3 => X.D3);
   end;

end Discr10;