On Mon, Dec 11, 2023 at 11:32 PM Thomas Munro <thomas.munro@gmail.com> wrote:
> On Mon, Dec 11, 2023 at 10:17 PM Peter Eisentraut <peter@eisentraut.org> wrote:
> > If you are slightly more daring, you can write an alternative definition
> > in C++ using const_cast?
>
> Oh, yeah, right, that works for my case. I can't think of any
> reasons not to do this, but IANAC++L.
And pushed. Thanks!