Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
synchronized2.ads
blob: 780edebc82a5563bb260d7cf60f7fc86e171db06 [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
package
Synchronized2
with
SPARK_Mode
,
Abstract_State
=>
(
State
with
Synchronous
)
is
procedure
Dummy
;
end
;