[gnu.gdb.bug] Real small typo in readline.c, I think

rds95@leah.Albany.Edu (Robert Seals) (08/24/89)

Hello,
On line 2284 of readline.c in dist-gdb/readline, there is the line
    char *rl_special_prefixes = (char ) NULL;

which I guess ought to be       (char *)NULL;

Yah?

rob