summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr12_pkg.ads
blob: 785146310bd19539121be217494e988ec3b702f3 (plain)
1
2
3
4
5
package Discr12_Pkg is

  function Dummy (I : Integer) return Integer;

end Discr12_Pkg;