-- filename: lisdblio.adb 5:30AM  11/3/95
--defining Put as in listn.io 

with gnat.io;  
use gnat.io;
package body listn.dbl.io is

procedure Put(l: pointer) is
begin
  if IsEmpty(l)
    then return;
    else put(First(l));
         put(' ');
	 put( Rest(l));
  end if;
end Put;


end listn.dbl.io;