-- filename int_io.ads 2:22PM  10/27/95
-- this is so gnat.io, which defines put and get for integer, 
-- character, and string types, as well as new_line and get_line, can
-- be replaced by text_io (which is standard) and this package (which 
-- instantiates text_io's Integer_IO package for type Integer).

with text_io;
package int_io is new text_io.Integer_IO(Integer);