Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
predicate7_pkg.ads
blob: b90419e7e6d9435bc53df9d237d514d345495e28 [
file
] [
log
] [
blame
]
package
Predicate7_Pkg
is
subtype
My_Int
is
Integer
with
Dynamic_Predicate
=>
My_Int
/=
0
;
end
Predicate7_Pkg
;