xref
: /
dports
/
lang
/
gcc11
/
gcc-11.2.0
/
gcc
/
testsuite
/
gnat.dg
/
predicate14.adb
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
-- { dg-do compile }
2
package
body
Predicate14
is
3
procedure
Dummy
is
null
;
4
end
Predicate14
;
5