Sign in
gnu
/
gcc
/
4e4e45a4fd341174d8231ee6a99e6fe308904f8f
/
.
/
gcc
/
testsuite
/
gnat.dg
/
iter2.ads
blob: 2178630944aedaa9b7a9f0d6f855d6de5aae0776 [
file
] [
log
] [
blame
]
package
Iter2
with
SPARK_Mode
is
function
To_String
(
Name
:
String
)
return
String
;
end
Iter2
;