Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
gnat.dg
/
specs
/
pack6_pkg.ads
blob: 52ded342d4b040561883366155b3b576a262bd96 [
file
] [
log
] [
blame
]
generic
Size
:
Positive
;
package
Pack6_Pkg
is
type
Object
is
private
;
private
type
Bit
is
range
0
..
1
;
for
Bit
'Size use 1;
type Object is array (1 .. Size) of Bit;
pragma Pack (Object);
end Pack6_Pkg;