On Mon, Dec 11, 2023 at 11:32 PM Thomas Munro <thomas.mu...@gmail.com> wrote: > On Mon, Dec 11, 2023 at 10:17 PM Peter Eisentraut <pe...@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!