Sign in
gnu
/
gcc
/
1f16a020acbea0af26209478990b83b1a1ba3a2b
/
.
/
gcc
/
testsuite
/
gnat.dg
/
constant2.adb
blob: 41c7e9140360b9e304a33c6a7ede8f0ab1c0c033 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
--
{
dg
-
options
"-gnatVa"
}
with
Constant2_Pkg1
;
use
Constant2_Pkg1
;
procedure
Constant2
is
begin
if
Val
then
raise
Program_Error
;
end
if
;
end
;