Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
ghost7.ads
blob: 4042aa33a9438ef322cd7ddb1e64f7a2d9719384 [
file
] [
log
] [
blame
]
pragma
Restrictions
(
No_Exception_Propagation
);
package
Ghost7
is
type
Word64
is
mod
2
**
64
;
type
My_Array_Type
is
array
(
Word64
)
of
Boolean
;
My_Array
:
My_Array_Type
with
Ghost
;
procedure
Dummy
;
end
Ghost7
;