Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
noreturn1.ads
blob: c63e43999077d05a1df12ec3c66b72a4ec5b7d5e [
file
] [
log
] [
blame
]
with
Ada
.
Exceptions
;
use
Ada
.
Exceptions
;
package
Noreturn1
is
procedure
Error
(
E
:
in
Exception_Occurrence
);
pragma
No_Return
(
Error
);
end
Noreturn1
;