Possible duplicate: How to convert a Ada.Real_TIme.Time to a string?
How can I convert a Time type obtained with a Ada.Real_Time.Clock to a String type in Ada ?
Possible duplicate: How to convert a Ada.Real_TIme.Time to a string?
How can I convert a Time type obtained with a Ada.Real_Time.Clock to a String type in Ada ?