[gnu.gdb.bug] stdio.h not included by readline files...

adam@UUNET.UU.NET (Adam de Boor) (07/14/89)

readline/keymaps.c and readline/funmap.c both need to include stdio.h
to avoid getting errors b/c FILE is undefined in readline.h

a