Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
pure_function1.ads
blob: 90b28fb1af9e1121798c781a29a02074a863fde6 [
file
] [
log
] [
blame
]
package
Pure_Function1
is
function
F
return
Integer
;
pragma
Pure_Function
(
F
);
pragma
Pure_Function
(
F
);
pragma
Pure_Function
(
F
);
end
;