Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
synchronized2_pkg.ads
blob: 57cae9c0bb769dee28acbdeadf26f8bd7939daee [
file
] [
log
] [
blame
]
package
Synchronized2_Pkg
with
SPARK_Mode
is
type T
is
limited
private
;
private
task type T
;
end
;