Peter Eisentraut <peter(at)eisentraut(dot)org> writes:
> The comment
> /* On some platforms, readline is declared as readline(char *) */
> is obsolete. The casting away of const can be removed.
+1, that's surely not of interest on anything we still support.
regards, tom lane