summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/controlled1_pkg.ads
blob: 3d08c1ee9bf8fc6b094d3bb09a5494aa2325a3d3 (plain)
1
2
3
4
5
6
7
-- { dg-excess-errors "no code generated" }

package Controlled1_Pkg is

  function Value return Natural;

end Controlled1_Pkg;